Exception for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, D

Specification

Math

\[\begin{array}{l} \\ \frac{1}{3} \cdot \cos^{-1} \left(\frac{3 \cdot \frac{x}{y \cdot 27}}{z \cdot 2} \cdot \sqrt{t}\right) \end{array} \]

FPCore

(FPCore (x y z t)
 :precision binary64
 (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))

C

double code(double x, double y, double z, double t) {
	return (1.0 / 3.0) * acos((((3.0 * (x / (y * 27.0))) / (z * 2.0)) * sqrt(t)));
}

Fortran

real(8) function code(x, y, z, t)
    real(8), intent (in) :: x
    real(8), intent (in) :: y
    real(8), intent (in) :: z
    real(8), intent (in) :: t
    code = (1.0d0 / 3.0d0) * acos((((3.0d0 * (x / (y * 27.0d0))) / (z * 2.0d0)) * sqrt(t)))
end function

Java

public static double code(double x, double y, double z, double t) {
	return (1.0 / 3.0) * Math.acos((((3.0 * (x / (y * 27.0))) / (z * 2.0)) * Math.sqrt(t)));
}

Python

def code(x, y, z, t):
	return (1.0 / 3.0) * math.acos((((3.0 * (x / (y * 27.0))) / (z * 2.0)) * math.sqrt(t)))

Julia

function code(x, y, z, t)
	return Float64(Float64(1.0 / 3.0) * acos(Float64(Float64(Float64(3.0 * Float64(x / Float64(y * 27.0))) / Float64(z * 2.0)) * sqrt(t))))
end

MATLAB

function tmp = code(x, y, z, t)
	tmp = (1.0 / 3.0) * acos((((3.0 * (x / (y * 27.0))) / (z * 2.0)) * sqrt(t)));
end

Wolfram

code[x_, y_, z_, t_] := N[(N[(1.0 / 3.0), $MachinePrecision] * N[ArcCos[N[(N[(N[(3.0 * N[(x / N[(y * 27.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(z * 2.0), $MachinePrecision]), $MachinePrecision] * N[Sqrt[t], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]

Reproduce

herbie shell --seed 2024111 
(FPCore (x y z t)
  :name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1, D"
  :precision binary64

  :alt
  (! :herbie-platform default (/ (acos (* (/ (/ x 27) (* y z)) (/ (sqrt t) (/ 2 3)))) 3))

  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))

Please file a bug report with this information.

Backtrace

typed-egg-extractor: costs not computed for all eclasses #(#hash((#<representation binary64> . (64 . $h0))) #hash((#t . (0 . 0))) #hash((#<representation binary64> . (128 -.f64 1 0)) (#<representation binary32> . (+inf.0 neg.f32 0))) #hash((#t . (0 . 1))) #hash((#t . (0 . -1))) #hash((#<representation binary64> . (6528 pow.f64 6 7)) (#<representation binary32> . (+inf.0 pow.f32 6 7))) #hash((#<representation binary64> . (128 /.f64 62 0)) (#<representation binary32> . (+inf.0 /.f32 62 0))) #hash((#t . (0 . -1/2))) #hash((#<representation binary64> . (6720 /.f64 15 16)) (#<representation binary32> . (+inf.0 /.f32 15 16))) #hash((#<representation binary64> . (64 . $h3))) #hash((#<representation binary64> . (6592 /.f64 390 0)) (#<representation binary32> . (+inf.0 /.f32 387 16))) #hash((#<representation binary64> . (6592 *.f64 0 16)) (#<representation binary32> . (+inf.0 *.f32 0 16))) #hash((#<representation binary64> . (6720 *.f64 0 1647)) (#<representation binary32> . (+inf.0 *.f32 0 1647))) #hash((#<representation binary64> . (128 -.f64 1 9)) (#<representation binary32> . (+inf.0 neg.f32 9))) #hash((#<representation binary64> . (6656 *.f64 0 82)) (#<representation binary32> . (+inf.0 *.f32 0 82))) #hash((#<representation binary64> . (192 /.f64 9 0)) (#<representation binary32> . (+inf.0 /.f32 9 0))) #hash((#<representation binary64> . (6464 sqrt.f64 197)) (#<representation binary32> . (+inf.0 pow.f32 197 224))) #hash((#<representation binary64> . (6592 /.f64 9 16)) (#<representation binary32> . (+inf.0 /.f32 9 16))) #hash((#<representation binary64> . (13120 log.f64 55)) (#<representation binary32> . (+inf.0 neg.f32 35))) #hash((#<representation binary64> . (6464 log.f64 89)) (#<representation binary32> . (+inf.0 log.f32 89))) #hash((#<representation binary64> . (12992 log.f64 10)) (#<representation binary32> . (+inf.0 log.f32 10))) #hash((#<representation binary64> . (13056 log.f64 381)) (#<representation binary32> . (+inf.0 log.f32 381))) #hash((#<representation binary64> . (6400 log.f64 4)) (#<representation binary32> . (3200 log.f32 4))) #hash((#<representation binary64> . (13184 log.f64 380)) (#<representation binary32> . (+inf.0 log.f32 380))) #hash((#<representation binary64> . (6528 log.f64 365)) (#<representation binary32> . (+inf.0 log.f32 365))) #hash((#<representation binary64> . (13120 log.f64 385)) (#<representation binary32> . (+inf.0 log.f32 385))) #hash((#<representation binary64> . (6528 log.f64 387)) (#<representation binary32> . (+inf.0 log.f32 387))) #hash((#<representation binary64> . (12992 log.f64 386)) (#<representation binary32> . (+inf.0 log.f32 386))) #hash((#<representation binary64> . (6592 log.f64 259)) (#<representation binary32> . (+inf.0 log.f32 259))) #hash((#<representation binary64> . (12864 log.f64 390)) (#<representation binary32> . (+inf.0 log.f32 390))) #hash((#<representation binary64> . (6528 log.f64 391)) (#<representation binary32> . (+inf.0 log.f32 391))) #hash((#<representation binary64> . (13056 log.f64 295)) (#<representation binary32> . (+inf.0 log.f32 295))) #hash((#<representation binary64> . (12928 log.f64 173)) (#<representation binary32> . (+inf.0 log.f32 173))) #hash((#<representation binary64> . (6656 log.f64 392)) (#<representation binary32> . (+inf.0 log.f32 392))) #hash((#<representation binary64> . (12992 log.f64 393)) (#<representation binary32> . (+inf.0 log.f32 393))) #hash((#<representation binary64> . (13120 log.f64 417)) (#<representation binary32> . (+inf.0 log.f32 417))) #hash((#<representation binary64> . (13184 log.f64 418)) (#<representation binary32> . (+inf.0 log.f32 418))) #hash((#<representation binary64> . (13120 log.f64 419)) (#<representation binary32> . (+inf.0 log.f32 419))) #hash((#<representation binary64> . (12992 log.f64 11)) (#<representation binary32> . (+inf.0 log.f32 11))) #hash((#<representation binary64> . (13184 log.f64 420)) (#<representation binary32> . (+inf.0 log.f32 420))) #hash((#<representation binary64> . (13056 log.f64 14)) (#<representation binary32> . (+inf.0 log.f32 14))) #hash((#<representation binary64> . (12992 log.f64 319)) (#<representation binary32> . (+inf.0 log.f32 319))) #hash((#<representation binary64> . (6528 log.f64 421)) (#<representation binary32> . (+inf.0 log.f32 421))) #hash((#<representation binary64> . (6528 log.f64 368)) (#<representation binary32> . (+inf.0 log.f32 368))) #hash((#<representation binary64> . (6464 log.f64 0)) (#<representation binary32> . (+inf.0 log.f32 0))) #hash((#<representation binary64> . (12864 log.f64 16)) (#<representation binary32> . (+inf.0 log.f32 16))) #hash((#<representation binary64> . (6592 log.f64 424)) (#<representation binary32> . (+inf.0 log.f32 424))) #hash((#<representation binary64> . (13056 log.f64 422)) (#<representation binary32> . (+inf.0 log.f32 422))) #hash((#<representation binary64> . (6528 log.f64 2)) (#<representation binary32> . (+inf.0 log.f32 2))) #hash((#<representation binary64> . (6656 log.f64 423)) (#<representation binary32> . (+inf.0 log.f32 423))) #hash((#<representation binary64> . (12928 log.f64 82)) (#<representation binary32> . (+inf.0 log.f32 82))) #hash((#<representation binary64> . (6656 log.f64 425)) (#<representation binary32> . (+inf.0 log.f32 425))) #hash((#<representation binary64> . (13056 log.f64 426)) (#<representation binary32> . (+inf.0 log.f32 426))) #hash((#<representation binary64> . (13120 log.f64 427)) (#<representation binary32> . (+inf.0 log.f32 427))) #hash((#<representation binary64> . (12864 log.f64 96)) (#<representation binary32> . (+inf.0 log.f32 96))) #hash((#<representation binary64> . (6720 /.f64 386 0)) (#<representation binary32> . (+inf.0 pow.f32 417 4))) #hash((#<representation binary64> . (13120 log.f64 57)) (#<representation binary32> . (+inf.0 log.f32 57))) #hash((#<representation binary64> . (6720 *.f64 9 386)) (#<representation binary32> . (+inf.0 *.f32 9 386))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 2))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13056 pow.f64 66 4)) (#<representation binary32> . (+inf.0 pow.f32 66 4))) #hash((#<representation binary64> . (6656 -.f64 1 319)) (#<representation binary32> . (+inf.0 neg.f32 319))) #hash((#<representation binary64> . (13056 pow.f64 68 69)) (#<representation binary32> . (+inf.0 pow.f32 68 69))) #hash((#<representation binary64> . (6656 /.f64 3 10)) (#<representation binary32> . (+inf.0 pow.f32 11 3))) #hash((#t . (0 . 3))) #hash((#<representation binary64> . (6656 pow.f64 71 4)) (#<representation binary32> . (+inf.0 pow.f32 71 4))) #hash((#<representation binary64> . (256 *.f64 466 0)) (#<representation binary32> . (+inf.0 *.f32 466 0))) #hash((#<representation binary64> . (13312 asin.f64 73)) (#<representation binary32> . (+inf.0 asin.f32 73))) #hash((#<representation binary64> . (6912 *.f64 16 77)) (#<representation binary32> . (+inf.0 *.f32 16 77))) #hash((#<representation binary64> . (6720 log.f64 75)) (#<representation binary32> . (+inf.0 log.f32 75))) #hash((#<representation binary64> . (320 /.f64 203 3)) (#<representation binary32> . (+inf.0 /.f32 203 3))) #hash((#<representation binary64> . (6784 log.f64 77)) (#<representation binary32> . (+inf.0 log.f32 77))) #hash((#<representation binary64> . (384 *.f64 714 1106)) (#<representation binary32> . (+inf.0 pow.f32 1137 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . -2))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 *.f64 3 82)) (#<representation binary32> . (+inf.0 *.f32 3 82))) #hash((#<representation binary64> . (6528 -.f64 1 16)) (#<representation binary32> . (+inf.0 -.f32 1 16))) #hash((#<representation binary64> . (12800 log.f64 84)) (#<representation binary32> . (6400 log.f32 84))) #hash((#<representation binary64> . (6400 exp.f64 3)) (#<representation binary32> . (3200 exp.f32 3))) #hash((#<representation binary64> . (6592 pow.f64 86 4)) (#<representation binary32> . (+inf.0 pow.f32 86 4))) #hash((#<representation binary64> . (192 /.f64 91 3)) (#<representation binary32> . (+inf.0 /.f32 91 3))) #hash((#<representation binary64> . (128 /.f64 88 89)) (#<representation binary32> . (+inf.0 /.f32 88 89))) #hash((#t . (0 . -3))) #hash((#<representation binary64> . (64 . $h2))) #hash((#<representation binary64> . (6848 /.f64 3 93)) (#<representation binary32> . (+inf.0 pow.f32 93 4))) #hash((#<representation binary64> . (128 /.f64 3 9)) (#<representation binary32> . (+inf.0 pow.f32 9 4))) #hash((#<representation binary64> . (13120 pow.f64 385 4)) (#<representation binary32> . (+inf.0 pow.f32 385 4))) #hash((#<representation binary64> . (6784 /.f64 13 11)) (#<representation binary32> . (+inf.0 /.f32 13 11))) #hash((#<representation binary64> . (13248 *.f64 737 4)) (#<representation binary32> . (+inf.0 *.f32 737 4))) #hash((#<representation binary64> . (6784 /.f64 96 97)) (#<representation binary32> . (+inf.0 /.f32 96 97))) #hash((#<representation binary64> . (6464 pow.f64 197 143)) (#<representation binary32> . (+inf.0 pow.f32 197 143))) #hash((#<representation binary64> . (256 /.f64 2274 126)) (#<representation binary32> . (+inf.0 pow.f32 1105 4))) #hash((#<representation binary64> . (6656 pow.f64 99 3)) (#<representation binary32> . (+inf.0 pow.f32 99 3))) #hash((#<representation binary64> . (256 *.f64 186 15)) (#<representation binary32> . (+inf.0 *.f32 186 15))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 pow.f64 190 69)) (#<representation binary32> . (+inf.0 pow.f32 190 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 pow.f64 161 69)) (#<representation binary32> . (+inf.0 pow.f32 161 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 110 4)) (#<representation binary32> . (+inf.0 pow.f32 110 4))) #hash((#<representation binary64> . (128 /.f64 180 9)) (#<representation binary32> . (+inf.0 /.f32 91 186))) #hash((#<representation binary64> . (320 /.f64 112 113)) (#<representation binary32> . (+inf.0 /.f32 112 113))) #hash((#t . (0 . 27))) #hash((#<representation binary64> . (256 /.f64 69 15)) (#<representation binary32> . (+inf.0 /.f32 69 15))) #hash((#<representation binary64> . (6784 log.f64 115)) (#<representation binary32> . (+inf.0 log.f32 115))) #hash((#<representation binary64> . (384 /.f64 89 826)) (#<representation binary32> . (+inf.0 /.f32 89 826))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 1/3))) #hash((#<representation binary64> . (13248 pow.f64 123 4)) (#<representation binary32> . (+inf.0 pow.f32 123 4))) #hash((#<representation binary64> . (6848 *.f64 66 179)) (#<representation binary32> . (+inf.0 *.f32 66 179))) #hash((#<representation binary64> . (6784 *.f64 125 126)) (#<representation binary32> . (+inf.0 *.f32 125 126))) #hash((#<representation binary64> . (6528 *.f64 16 69)) (#<representation binary32> . (+inf.0 *.f32 16 69))) #hash((#<representation binary64> . (192 /.f64 0 9)) (#<representation binary32> . (+inf.0 pow.f32 15 4))) #hash((#<representation binary64> . (6784 pow.f64 128 4)) (#<representation binary32> . (+inf.0 pow.f32 128 4))) #hash((#<representation binary64> . (384 /.f64 308 89)) (#<representation binary32> . (+inf.0 /.f32 308 89))) #hash((#<representation binary64> . (128 /.f64 89 4)) (#<representation binary32> . (+inf.0 /.f32 89 4))) #hash((#<representation binary64> . (6784 /.f64 131 9)) (#<representation binary32> . (+inf.0 /.f32 131 9))) #hash((#<representation binary64> . (6656 *.f64 0 125)) (#<representation binary32> . (+inf.0 *.f32 0 125))) #hash((#<representation binary64> . (640 +.f64 1 133)) (#<representation binary32> . (+inf.0 +.f32 1 133))) #hash((#<representation binary64> . (576 +.f64 187 1699)) (#<representation binary32> . (+inf.0 +.f32 187 1699))) #hash((#<representation binary64> . (448 *.f64 135 99)) (#<representation binary32> . (+inf.0 *.f32 135 99))) #hash((#<representation binary64> . (128 *.f64 89 62)) (#<representation binary32> . (+inf.0 *.f32 89 62))) #hash((#<representation binary64> . (6656 pow.f64 137 4)) (#<representation binary32> . (+inf.0 pow.f32 137 4))) #hash((#<representation binary64> . (256 *.f64 0 368)) (#<representation binary32> . (+inf.0 *.f32 0 368))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 pow.f64 361 514)) (#<representation binary32> . (+inf.0 pow.f32 361 514))) #hash((#t . (0 . 1/4))) #hash((#<representation binary64> . (19712 log.f64 161)) (#<representation binary32> . (+inf.0 log.f32 161))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13312 asin.f64 1540)) (#<representation binary32> . (+inf.0 asin.f32 1540))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 *.f64 166 167)) (#<representation binary32> . (+inf.0 *.f32 166 167))) #hash((#<representation binary64> . (128 *.f64 89 79)) (#<representation binary32> . (+inf.0 -.f32 1 135))) #hash((#<representation binary64> . (256 /.f64 112 126)) (#<representation binary32> . (+inf.0 /.f32 112 126))) #hash((#<representation binary64> . (6400 pow.f64 7 169)) (#<representation binary32> . (3200 pow.f32 7 169))) #hash((#t . (0 . 3/2))) #hash((#<representation binary64> . (6656 pow.f64 171 4)) (#<representation binary32> . (+inf.0 pow.f32 171 4))) #hash((#<representation binary64> . (256 *.f64 213 0)) (#<representation binary32> . (+inf.0 *.f32 213 0))) #hash((#<representation binary64> . (12928 pow.f64 173 7)) (#<representation binary32> . (+inf.0 pow.f32 173 7))) #hash((#<representation binary64> . (6528 /.f64 4 16)) (#<representation binary32> . (+inf.0 /.f32 4 16))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 pow.f64 176 7)) (#<representation binary32> . (+inf.0 pow.f32 176 7))) #hash((#<representation binary64> . (448 /.f64 135 308)) (#<representation binary32> . (+inf.0 /.f32 135 308))) #hash((#<representation binary64> . (128 /.f64 178 9)) (#<representation binary32> . (+inf.0 /.f32 91 112))) #hash((#t . (0 . 1/27))) #hash((#<representation binary64> . (128 /.f64 4 9)) (#<representation binary32> . (+inf.0 pow.f32 13 4))) #hash((#t . (0 . -1/27))) #hash((#<representation binary64> . (6528 pow.f64 182 7)) (#<representation binary32> . (+inf.0 pow.f32 182 7))) #hash((#<representation binary64> . (128 *.f64 9 112)) (#<representation binary32> . (+inf.0 pow.f32 177 4))) #hash((#<representation binary64> . (192 /.f64 112 91)) (#<representation binary32> . (+inf.0 /.f32 112 91))) #hash((#<representation binary64> . (128 /.f64 9 178)) (#<representation binary32> . (+inf.0 /.f32 9 178))) #hash((#<representation binary64> . (128 *.f64 9 186)) (#<representation binary32> . (+inf.0 -.f32 1 182))) #hash((#t . (0 . -27))) #hash((#<representation binary64> . (320 *.f64 182 182)) (#<representation binary32> . (+inf.0 pow.f32 182 62))) #hash((#<representation binary64> . (6592 *.f64 278 4)) (#<representation binary32> . (+inf.0 *.f32 278 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13376 *.f64 224 161)) (#<representation binary32> . (+inf.0 *.f32 224 161))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13376 *.f64 3 161)) (#<representation binary32> . (+inf.0 *.f32 3 161))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6464 pow.f64 197 198)) (#<representation binary32> . (+inf.0 pow.f32 197 198))) #hash((#<representation binary64> . (64 . $h1))) #hash((#t . (0 . 1/8))) #hash((#<representation binary64> . (6528 *.f64 920 198)) (#<representation binary32> . (+inf.0 *.f32 920 198))) #hash((#<representation binary64> . (13312 asin.f64 201)) (#<representation binary32> . (+inf.0 asin.f32 201))) #hash((#<representation binary64> . (6912 *.f64 77 16)) (#<representation binary32> . (+inf.0 *.f32 77 16))) #hash((#<representation binary64> . (6656 log.f64 203)) (#<representation binary32> . (+inf.0 log.f32 203))) #hash((#<representation binary64> . (256 /.f64 0 182)) (#<representation binary32> . (+inf.0 pow.f32 167 4))) #hash((#<representation binary64> . (6784 neg.f64 205)) (#<representation binary32> . (+inf.0 neg.f32 205))) #hash((#<representation binary64> . (6720 *.f64 566 4)) (#<representation binary32> . (+inf.0 *.f32 566 4))) #hash((#<representation binary64> . (13120 pow.f64 207 4)) (#<representation binary32> . (+inf.0 pow.f32 207 4))) #hash((#<representation binary64> . (6720 *.f64 126 16)) (#<representation binary32> . (+inf.0 *.f32 126 16))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 neg.f64 211)) (#<representation binary32> . (+inf.0 neg.f32 211))) #hash((#<representation binary64> . (256 /.f64 459 126)) (#<representation binary32> . (+inf.0 /.f32 121 203))) #hash((#<representation binary64> . (384 *.f64 126 213)) (#<representation binary32> . (+inf.0 *.f32 126 213))) #hash((#<representation binary64> . (128 /.f64 69 89)) (#<representation binary32> . (+inf.0 /.f32 69 89))) #hash((#<representation binary64> . (384 *.f64 15 453)) (#<representation binary32> . (+inf.0 *.f32 15 453))) #hash((#<representation binary64> . (6784 pow.f64 115 3)) (#<representation binary32> . (+inf.0 pow.f32 115 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 1/2))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 /.f64 3 229)) (#<representation binary32> . (+inf.0 pow.f32 229 4))) #hash((#<representation binary64> . (384 /.f64 826 89)) (#<representation binary32> . (+inf.0 /.f32 1093 365))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 log.f64 233)) (#<representation binary32> . (+inf.0 log.f32 233))) #hash((#<representation binary64> . (448 /.f64 365 1093)) (#<representation binary32> . (+inf.0 /.f32 365 1093))) #hash((#<representation binary64> . (128 /.f64 69 9)) (#<representation binary32> . (+inf.0 /.f32 69 9))) #hash((#<representation binary64> . (192 *.f64 91 69)) (#<representation binary32> . (+inf.0 *.f32 91 69))) #hash((#<representation binary64> . (128 *.f64 0 69)) (#<representation binary32> . (+inf.0 *.f32 0 69))) #hash((#<representation binary64> . (256 /.f64 9 236)) (#<representation binary32> . (+inf.0 /.f32 9 236))) #hash((#<representation binary64> . (128 *.f64 0 88)) (#<representation binary32> . (+inf.0 -.f32 1 236))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 log.f64 247)) (#<representation binary32> . (+inf.0 log.f32 247))) #hash((#<representation binary64> . (256 /.f64 135 0)) (#<representation binary32> . (+inf.0 /.f32 135 0))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13120 pow.f64 250 4)) (#<representation binary32> . (+inf.0 pow.f32 250 4))) #hash((#<representation binary64> . (6720 /.f64 16 562)) (#<representation binary32> . (+inf.0 pow.f32 1777 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 4/3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 *.f64 3 255)) (#<representation binary32> . (+inf.0 *.f32 3 255))) #hash((#<representation binary64> . (6784 *.f64 16 941)) (#<representation binary32> . (+inf.0 *.f32 16 941))) #hash((#<representation binary64> . (6848 *.f64 125 257)) (#<representation binary32> . (+inf.0 *.f32 125 257))) #hash((#<representation binary64> . (256 /.f64 126 301)) (#<representation binary32> . (+inf.0 /.f32 203 62))) #hash((#<representation binary64> . (6592 pow.f64 259 3)) (#<representation binary32> . (+inf.0 pow.f32 259 3))) #hash((#<representation binary64> . (192 /.f64 89 0)) (#<representation binary32> . (+inf.0 /.f32 89 0))) #hash((#<representation binary64> . (320 /.f64 1 261)) (#<representation binary32> . (+inf.0 /.f32 1 261))) #hash((#<representation binary64> . (256 *.f64 89 13)) (#<representation binary32> . (+inf.0 *.f32 89 13))) #hash((#<representation binary64> . (6848 pow.f64 263 4)) (#<representation binary32> . (+inf.0 pow.f32 263 4))) #hash((#<representation binary64> . (448 /.f64 940 3)) (#<representation binary32> . (+inf.0 /.f32 940 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 pow.f64 161 514)) (#<representation binary32> . (+inf.0 pow.f32 161 514))) #hash((#<representation binary64> . (19776 neg.f64 270)) (#<representation binary32> . (+inf.0 neg.f32 270))) #hash((#<representation binary64> . (26752 *.f64 906 161)) (#<representation binary32> . (+inf.0 *.f32 906 161))) #hash((#<representation binary64> . (19712 pow.f64 161 62)) (#<representation binary32> . (+inf.0 pow.f32 161 62))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13312 acos.f64 1540)) (#<representation binary32> . (+inf.0 acos.f32 1540))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6720 log.f64 277)) (#<representation binary32> . (+inf.0 log.f32 277))) #hash((#<representation binary64> . (320 /.f64 3 941)) (#<representation binary32> . (+inf.0 pow.f32 941 4))) #hash((#<representation binary64> . (6528 log.f64 182)) (#<representation binary32> . (+inf.0 +.f32 279 280))) #hash((#<representation binary64> . (6464 log.f64 9)) (#<representation binary32> . (+inf.0 log.f32 9))) #hash((#<representation binary64> . (6400 log.f64 112)) (#<representation binary32> . (3200 log.f32 112))) #hash((#<representation binary64> . (6528 log.f64 185)) (#<representation binary32> . (+inf.0 log.f32 185))) #hash((#<representation binary64> . (6528 log.f64 13)) (#<representation binary32> . (+inf.0 log.f32 13))) #hash((#<representation binary64> . (6400 log.f64 186)) (#<representation binary32> . (3200 log.f32 186))) #hash((#<representation binary64> . (6528 log.f64 177)) (#<representation binary32> . (+inf.0 log.f32 177))) #hash((#<representation binary64> . (13312 *.f64 286 7)) (#<representation binary32> . (+inf.0 *.f32 286 7))) #hash((#<representation binary64> . (13248 log.f64 771)) (#<representation binary32> . (+inf.0 fma.f32 4 35 279))) #hash((#<representation binary64> . (128 *.f64 62 9)) (#<representation binary32> . (+inf.0 *.f32 62 9))) #hash((#<representation binary64> . (6528 pow.f64 289 69)) (#<representation binary32> . (+inf.0 pow.f32 289 69))) #hash((#<representation binary64> . (128 *.f64 971 0)) (#<representation binary32> . (+inf.0 *.f32 971 0))) #hash((#<representation binary64> . (6592 pow.f64 291 69)) (#<representation binary32> . (+inf.0 pow.f32 291 69))) #hash((#<representation binary64> . (192 *.f64 368 3)) (#<representation binary32> . (+inf.0 *.f32 368 3))) #hash((#<representation binary64> . (6592 pow.f64 293 4)) (#<representation binary32> . (+inf.0 pow.f32 293 4))) #hash((#<representation binary64> . (192 *.f64 69 1007)) (#<representation binary32> . (+inf.0 *.f32 69 1007))) #hash((#<representation binary64> . (13056 pow.f64 295 7)) (#<representation binary32> . (+inf.0 pow.f32 295 7))) #hash((#<representation binary64> . (6656 /.f64 89 82)) (#<representation binary32> . (+inf.0 /.f32 89 82))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 pow.f64 161 169)) (#<representation binary32> . (+inf.0 pow.f32 161 169))) #hash((#<representation binary64> . (19776 *.f64 144 69)) (#<representation binary32> . (+inf.0 *.f32 144 69))) #hash((#<representation binary64> . (6400 log.f64 62)) (#<representation binary32> . (3200 log.f32 62))) #hash((#t . (0 . 54))) #hash((#<representation binary64> . (6592 neg.f64 303)) (#<representation binary32> . (+inf.0 neg.f32 303))) #hash((#<representation binary64> . (6528 *.f64 279 4)) (#<representation binary32> . (+inf.0 *.f32 279 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 15 89)) (#<representation binary32> . (+inf.0 *.f32 15 89))) #hash((#<representation binary64> . (320 *.f64 308 3)) (#<representation binary32> . (+inf.0 *.f32 308 3))) #hash((#<representation binary64> . (256 /.f64 0 185)) (#<representation binary32> . (+inf.0 pow.f32 99 4))) #hash((#<representation binary64> . (6528 log.f64 310)) (#<representation binary32> . (+inf.0 log.f32 310))) #hash((#<representation binary64> . (128 /.f64 169 89)) (#<representation binary32> . (+inf.0 /.f32 69 135))) #hash((#<representation binary64> . (13056 pow.f64 312 4)) (#<representation binary32> . (+inf.0 pow.f32 312 4))) #hash((#<representation binary64> . (6656 *.f64 91 16)) (#<representation binary32> . (+inf.0 *.f32 91 16))) #hash((#<representation binary64> . (6848 pow.f64 233 3)) (#<representation binary32> . (+inf.0 pow.f32 233 3))) #hash((#<representation binary64> . (13312 +.f64 315 205)) (#<representation binary32> . (+inf.0 +.f32 315 205))) #hash((#<representation binary64> . (6528 *.f64 19 4)) (#<representation binary32> . (+inf.0 *.f32 19 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 /.f64 16 89)) (#<representation binary32> . (+inf.0 /.f32 16 89))) #hash((#<representation binary64> . (6528 log.f64 321)) (#<representation binary32> . (+inf.0 log.f32 321))) #hash((#<representation binary64> . (128 *.f64 542 89)) (#<representation binary32> . (+inf.0 *.f32 542 89))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6720 *.f64 66 324)) (#<representation binary32> . (+inf.0 *.f32 66 324))) #hash((#t . (0 . 1/18))) #hash((#<representation binary64> . (6784 *.f64 3 12)) (#<representation binary32> . (+inf.0 *.f32 3 12))) #hash((#<representation binary64> . (6720 *.f64 125 2)) (#<representation binary32> . (+inf.0 *.f32 125 2))) #hash((#t . (0 . 1/729))) #hash((#<representation binary64> . (192 /.f64 1 135)) (#<representation binary32> . (+inf.0 /.f32 1 135))) #hash((#<representation binary64> . (320 /.f64 185 236)) (#<representation binary32> . (+inf.0 /.f32 185 236))) #hash((#<representation binary64> . (6592 pow.f64 331 4)) (#<representation binary32> . (+inf.0 pow.f32 331 4))) #hash((#<representation binary64> . (192 /.f64 3 549)) (#<representation binary32> . (+inf.0 pow.f32 549 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 neg.f64 337)) (#<representation binary32> . (+inf.0 neg.f32 337))) #hash((#<representation binary64> . (26752 *.f64 786 361)) (#<representation binary32> . (+inf.0 *.f32 786 361))) #hash((#<representation binary64> . (19712 pow.f64 361 62)) (#<representation binary32> . (+inf.0 pow.f32 361 62))) #hash((#<representation binary64> . (13312 acos.f64 1916)) (#<representation binary32> . (+inf.0 acos.f32 1916))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 log.f64 343)) (#<representation binary32> . (+inf.0 log.f32 343))) #hash((#<representation binary64> . (128 /.f64 89 971)) (#<representation binary32> . (+inf.0 /.f32 89 971))) #hash((#<representation binary64> . (19712 log.f64 361)) (#<representation binary32> . (+inf.0 log.f32 361))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13312 asin.f64 1916)) (#<representation binary32> . (+inf.0 asin.f32 1916))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 *.f64 365 301)) (#<representation binary32> . (+inf.0 *.f32 365 301))) #hash((#<representation binary64> . (128 -.f64 1 89)) (#<representation binary32> . (+inf.0 neg.f32 89))) #hash((#<representation binary64> . (6528 *.f64 224 16)) (#<representation binary32> . (+inf.0 *.f32 224 16))) #hash((#<representation binary64> . (6528 pow.f64 368 69)) (#<representation binary32> . (+inf.0 pow.f32 368 69))) #hash((#<representation binary64> . (128 /.f64 4 89)) (#<representation binary32> . (+inf.0 pow.f32 365 4))) #hash((#<representation binary64> . (6720 pow.f64 370 4)) (#<representation binary32> . (+inf.0 pow.f32 370 4))) #hash((#<representation binary64> . (320 /.f64 62 308)) (#<representation binary32> . (+inf.0 /.f32 62 308))) #hash((#<representation binary64> . (6656 pow.f64 372 4)) (#<representation binary32> . (+inf.0 pow.f32 372 4))) #hash((#<representation binary64> . (256 *.f64 69 424)) (#<representation binary32> . (+inf.0 *.f32 69 424))) #hash((#<representation binary64> . (13312 pow.f64 374 4)) (#<representation binary32> . (+inf.0 pow.f32 374 4))) #hash((#<representation binary64> . (6912 /.f64 89 803)) (#<representation binary32> . (+inf.0 /.f32 89 803))) #hash((#<representation binary64> . (6912 /.f64 376 3)) (#<representation binary32> . (+inf.0 /.f32 376 3))) #hash((#<representation binary64> . (6848 /.f64 16 306)) (#<representation binary32> . (+inf.0 neg.f32 490))) #hash((#<representation binary64> . (6592 pow.f64 378 4)) (#<representation binary32> . (+inf.0 pow.f32 378 4))) #hash((#<representation binary64> . (192 /.f64 69 185)) (#<representation binary32> . (+inf.0 /.f32 69 185))) #hash((#<representation binary64> . (6720 /.f64 1 14)) (#<representation binary32> . (+inf.0 /.f32 1 14))) #hash((#<representation binary64> . (6784 /.f64 365 11)) (#<representation binary32> . (+inf.0 pow.f32 420 4))) #hash((#<representation binary64> . (6656 /.f64 10 3)) (#<representation binary32> . (+inf.0 /.f32 10 3))) #hash((#<representation binary64> . (12992 pow.f64 10 3)) (#<representation binary32> . (+inf.0 pow.f32 10 3))) #hash((#<representation binary64> . (13056 pow.f64 68 4)) (#<representation binary32> . (+inf.0 pow.f32 68 4))) #hash((#<representation binary64> . (13056 pow.f64 381 3)) (#<representation binary32> . (+inf.0 pow.f32 381 3))) #hash((#<representation binary64> . (6720 /.f64 3 14)) (#<representation binary32> . (+inf.0 pow.f32 14 4))) #hash((#<representation binary64> . (6592 /.f64 89 16)) (#<representation binary32> . (+inf.0 pow.f32 319 4))) #hash((#<representation binary64> . (128 /.f64 3 0)) (#<representation binary32> . (+inf.0 pow.f32 0 4))) #hash((#<representation binary64> . (6528 pow.f64 387 3)) (#<representation binary32> . (+inf.0 pow.f32 387 3))) #hash((#<representation binary64> . (13056 pow.f64 1077 4)) (#<representation binary32> . (+inf.0 pow.f32 1077 4))) #hash((#<representation binary64> . (6464 pow.f64 197 7)) (#<representation binary32> . (+inf.0 pow.f32 197 7))) #hash((#<representation binary64> . (128 /.f64 4 0)) (#<representation binary32> . (+inf.0 /.f32 4 0))) #hash((#<representation binary64> . (256 /.f64 89 2)) (#<representation binary32> . (+inf.0 /.f32 89 2))) #hash((#<representation binary64> . (6592 /.f64 4 82)) (#<representation binary32> . (+inf.0 /.f32 4 82))) #hash((#<representation binary64> . (192 /.f64 3 2)) (#<representation binary32> . (+inf.0 pow.f32 2 4))) #hash((#<representation binary64> . (6528 pow.f64 368 4)) (#<representation binary32> . (+inf.0 pow.f32 368 4))) #hash((#<representation binary64> . (6592 pow.f64 291 4)) (#<representation binary32> . (+inf.0 pow.f32 291 4))) #hash((#<representation binary64> . (6656 pow.f64 1070 4)) (#<representation binary32> . (+inf.0 pow.f32 1070 4))) #hash((#<representation binary64> . (6720 pow.f64 1030 4)) (#<representation binary32> . (+inf.0 pow.f32 1030 4))) #hash((#<representation binary64> . (12928 pow.f64 82 4)) (#<representation binary32> . (+inf.0 pow.f32 82 4))) #hash((#<representation binary64> . (6656 pow.f64 1107 4)) (#<representation binary32> . (+inf.0 pow.f32 1107 4))) #hash((#<representation binary64> . (12864 pow.f64 96 4)) (#<representation binary32> . (+inf.0 pow.f32 96 4))) #hash((#<representation binary64> . (13120 pow.f64 1602 4)) (#<representation binary32> . (+inf.0 pow.f32 1602 4))) #hash((#<representation binary64> . (6528 pow.f64 1109 4)) (#<representation binary32> . (+inf.0 pow.f32 1109 4))) #hash((#<representation binary64> . (6592 pow.f64 774 4)) (#<representation binary32> . (+inf.0 pow.f32 774 4))) #hash((#<representation binary64> . (6528 pow.f64 365 3)) (#<representation binary32> . (+inf.0 pow.f32 365 3))) #hash((#<representation binary64> . (13120 pow.f64 385 3)) (#<representation binary32> . (+inf.0 pow.f32 385 3))) #hash((#<representation binary64> . (12864 pow.f64 390 3)) (#<representation binary32> . (+inf.0 pow.f32 390 3))) #hash((#<representation binary64> . (6528 pow.f64 391 3)) (#<representation binary32> . (+inf.0 pow.f32 391 3))) #hash((#<representation binary64> . (13056 pow.f64 295 3)) (#<representation binary32> . (+inf.0 pow.f32 295 3))) #hash((#<representation binary64> . (12928 pow.f64 1148 4)) (#<representation binary32> . (+inf.0 pow.f32 1148 4))) #hash((#<representation binary64> . (6656 pow.f64 454 4)) (#<representation binary32> . (+inf.0 pow.f32 454 4))) #hash((#<representation binary64> . (12992 pow.f64 665 4)) (#<representation binary32> . (+inf.0 pow.f32 665 4))) #hash((#<representation binary64> . (19520 pow.f64 1603 4)) (#<representation binary32> . (+inf.0 pow.f32 1603 4))) #hash((#<representation binary64> . (12928 pow.f64 173 3)) (#<representation binary32> . (+inf.0 pow.f32 173 3))) #hash((#<representation binary64> . (6656 pow.f64 392 3)) (#<representation binary32> . (+inf.0 pow.f32 392 3))) #hash((#<representation binary64> . (12992 pow.f64 393 3)) (#<representation binary32> . (+inf.0 pow.f32 393 3))) #hash((#<representation binary64> . (6720 /.f64 0 386)) (#<representation binary32> . (+inf.0 /.f32 0 386))) #hash((#<representation binary64> . (6784 /.f64 417 3)) (#<representation binary32> . (+inf.0 /.f32 417 3))) #hash((#<representation binary64> . (6720 /.f64 16 259)) (#<representation binary32> . (+inf.0 /.f32 16 259))) #hash((#<representation binary64> . (6784 -.f64 1 417)) (#<representation binary32> . (+inf.0 -.f32 1 417))) #hash((#<representation binary64> . (128 /.f64 3 89)) (#<representation binary32> . (+inf.0 pow.f32 89 4))) #hash((#<representation binary64> . (6656 neg.f64 386)) (#<representation binary32> . (+inf.0 neg.f32 386))) #hash((#<representation binary64> . (256 neg.f64 259)) (#<representation binary32> . (+inf.0 neg.f32 259))) #hash((#<representation binary64> . (192 /.f64 0 89)) (#<representation binary32> . (+inf.0 pow.f32 259 4))) #hash((#<representation binary64> . (256 /.f64 365 0)) (#<representation binary32> . (+inf.0 /.f32 365 0))) #hash((#<representation binary64> . (6656 /.f64 365 16)) (#<representation binary32> . (+inf.0 /.f32 365 16))) #hash((#<representation binary64> . (6720 /.f64 259 96)) (#<representation binary32> . (+inf.0 /.f32 259 96))) #hash((#<representation binary64> . (13184 *.f64 35 4)) (#<representation binary32> . (+inf.0 *.f32 35 4))) #hash((#<representation binary64> . (13184 *.f64 18 3)) (#<representation binary32> . (+inf.0 *.f32 18 3))) #hash((#<representation binary64> . (13248 *.f64 475 4)) (#<representation binary32> . (+inf.0 *.f32 475 4))) #hash((#<representation binary64> . (13248 neg.f64 475)) (#<representation binary32> . (+inf.0 neg.f32 475))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13376 *.f64 224 361)) (#<representation binary32> . (+inf.0 *.f32 224 361))) #hash((#<representation binary64> . (6464 pow.f64 9 7)) (#<representation binary32> . (+inf.0 pow.f32 9 7))) #hash((#<representation binary64> . (6400 pow.f64 3 7)) (#<representation binary32> . (3200 pow.f32 3 7))) #hash((#<representation binary64> . (6400 pow.f64 4 7)) (#<representation binary32> . (3200 pow.f32 4 7))) #hash((#<representation binary64> . (6528 pow.f64 13 7)) (#<representation binary32> . (+inf.0 pow.f32 13 7))) #hash((#<representation binary64> . (6528 *.f64 279 7)) (#<representation binary32> . (+inf.0 *.f32 279 7))) #hash((#<representation binary64> . (128 *.f64 444 9)) (#<representation binary32> . (+inf.0 *.f32 62 185))) #hash((#t . (0 . -54))) #hash((#<representation binary64> . (192 *.f64 62 13)) (#<representation binary32> . (+inf.0 *.f32 62 13))) #hash((#<representation binary64> . (128 *.f64 301 9)) (#<representation binary32> . (+inf.0 *.f32 182 62))) #hash((#<representation binary64> . (6912 neg.f64 448)) (#<representation binary32> . (+inf.0 neg.f32 448))) #hash((#<representation binary64> . (6848 *.f64 565 4)) (#<representation binary32> . (+inf.0 *.f32 565 4))) #hash((#<representation binary64> . (320 *.f64 113 4)) (#<representation binary32> . (+inf.0 *.f32 113 4))) #hash((#<representation binary64> . (13056 pow.f64 451 4)) (#<representation binary32> . (+inf.0 pow.f32 451 4))) #hash((#<representation binary64> . (6656 *.f64 3 1647)) (#<representation binary32> . (+inf.0 *.f32 3 1647))) #hash((#<representation binary64> . (320 *.f64 453 182)) (#<representation binary32> . (+inf.0 *.f32 453 182))) #hash((#<representation binary64> . (128 /.f64 89 69)) (#<representation binary32> . (+inf.0 pow.f32 213 4))) #hash((#<representation binary64> . (256 /.f64 2 89)) (#<representation binary32> . (+inf.0 /.f32 2 89))) #hash((#<representation binary64> . (13120 pow.f64 456 7)) (#<representation binary32> . (+inf.0 pow.f32 456 7))) #hash((#<representation binary64> . (6720 /.f64 9 319)) (#<representation binary32> . (+inf.0 /.f32 9 319))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 9))) #hash((#t . (0 . 6))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (128 /.f64 7 89)) (#<representation binary32> . (+inf.0 pow.f32 166 4))) #hash((#<representation binary64> . (128 /.f64 224 89)) (#<representation binary32> . (+inf.0 pow.f32 135 4))) #hash((#<representation binary64> . (192 /.f64 166 3)) (#<representation binary32> . (+inf.0 /.f32 166 3))) #hash((#<representation binary64> . (6592 *.f64 492 4)) (#<representation binary32> . (+inf.0 *.f32 492 4))) #hash((#<representation binary64> . (192 neg.f64 470)) (#<representation binary32> . (+inf.0 neg.f32 470))) #hash((#<representation binary64> . (128 /.f64 971 9)) (#<representation binary32> . (+inf.0 /.f32 69 182))) #hash((#<representation binary64> . (13312 log.f64 472)) (#<representation binary32> . (+inf.0 log.f32 472))) #hash((#<representation binary64> . (6912 /.f64 9 420)) (#<representation binary32> . (+inf.0 /.f32 9 420))) #hash((#<representation binary64> . (6528 log.f64 465)) (#<representation binary32> . (+inf.0 log.f32 465))) #hash((#<representation binary64> . (26432 +.f64 475 475)) (#<representation binary32> . (+inf.0 +.f32 475 475))) #hash((#<representation binary64> . (13184 *.f64 18 4)) (#<representation binary32> . (+inf.0 *.f32 18 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 *.f64 125 3)) (#<representation binary32> . (+inf.0 *.f32 125 3))) #hash((#<representation binary64> . (192 neg.f64 479)) (#<representation binary32> . (+inf.0 neg.f32 479))) #hash((#<representation binary64> . (128 *.f64 89 542)) (#<representation binary32> . (+inf.0 pow.f32 310 4))) #hash((#<representation binary64> . (128 /.f64 1 9)) (#<representation binary32> . (+inf.0 /.f32 1 9))) #hash((#<representation binary64> . (6528 pow.f64 343 3)) (#<representation binary32> . (+inf.0 pow.f32 343 3))) #hash((#<representation binary64> . (128 *.f64 1 89)) (#<representation binary32> . (+inf.0 *.f32 1 89))) #hash((#<representation binary64> . (6720 pow.f64 484 4)) (#<representation binary32> . (+inf.0 pow.f32 484 4))) #hash((#<representation binary64> . (320 /.f64 3 113)) (#<representation binary32> . (+inf.0 pow.f32 113 4))) #hash((#<representation binary64> . (6528 log.f64 486)) (#<representation binary32> . (+inf.0 log.f32 486))) #hash((#<representation binary64> . (128 /.f64 9 4)) (#<representation binary32> . (+inf.0 /.f32 9 4))) #hash((#<representation binary64> . (6592 log.f64 488)) (#<representation binary32> . (+inf.0 log.f32 488))) #hash((#<representation binary64> . (192 /.f64 62 982)) (#<representation binary32> . (+inf.0 /.f32 62 982))) #hash((#<representation binary64> . (6976 *.f64 490 324)) (#<representation binary32> . (+inf.0 *.f32 490 324))) #hash((#<representation binary64> . (6912 /.f64 420 9)) (#<representation binary32> . (+inf.0 pow.f32 472 4))) #hash((#<representation binary64> . (6528 log.f64 135)) (#<representation binary32> . (+inf.0 +.f32 19 300))) #hash((#<representation binary64> . (6528 log.f64 166)) (#<representation binary32> . (+inf.0 log.f32 166))) #hash((#<representation binary64> . (6400 log.f64 79)) (#<representation binary32> . (3200 log.f32 79))) #hash((#<representation binary64> . (6528 log.f64 466)) (#<representation binary32> . (+inf.0 log.f32 466))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 *.f64 344 169)) (#<representation binary32> . (+inf.0 *.f32 344 169))) #hash((#<representation binary64> . (13184 pow.f64 498 4)) (#<representation binary32> . (+inf.0 pow.f32 498 4))) #hash((#<representation binary64> . (6784 /.f64 91 10)) (#<representation binary32> . (+inf.0 /.f32 91 10))) #hash((#<representation binary64> . (6592 pow.f64 500 69)) (#<representation binary32> . (+inf.0 pow.f32 500 69))) #hash((#<representation binary64> . (192 /.f64 69 13)) (#<representation binary32> . (+inf.0 /.f32 69 13))) #hash((#<representation binary64> . (256 neg.f64 15)) (#<representation binary32> . (+inf.0 neg.f32 15))) #hash((#<representation binary64> . (6784 *.f64 503 16)) (#<representation binary32> . (+inf.0 *.f32 503 16))) #hash((#<representation binary64> . (256 *.f64 0 310)) (#<representation binary32> . (+inf.0 *.f32 0 310))) #hash((#<representation binary64> . (13184 pow.f64 505 4)) (#<representation binary32> . (+inf.0 pow.f32 505 4))) #hash((#<representation binary64> . (6784 pow.f64 901 224)) (#<representation binary32> . (+inf.0 *.f32 836 837))) #hash((#<representation binary64> . (12992 pow.f64 507 4)) (#<representation binary32> . (+inf.0 pow.f32 507 4))) #hash((#<representation binary64> . (6592 /.f64 62 125)) (#<representation binary32> . (+inf.0 /.f32 62 125))) #hash((#<representation binary64> . (6592 pow.f64 509 4)) (#<representation binary32> . (+inf.0 pow.f32 509 4))) #hash((#<representation binary64> . (192 *.f64 110 69)) (#<representation binary32> . (+inf.0 *.f32 110 69))) #hash((#<representation binary64> . (6720 pow.f64 370 7)) (#<representation binary32> . (+inf.0 pow.f32 370 7))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . -4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 neg.f64 188)) (#<representation binary32> . (+inf.0 neg.f32 188))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (256 *.f64 126 88)) (#<representation binary32> . (+inf.0 *.f32 126 88))) #hash((#<representation binary64> . (320 *.f64 531 69)) (#<representation binary32> . (+inf.0 *.f32 531 69))) #hash((#<representation binary64> . (256 /.f64 177 89)) (#<representation binary32> . (+inf.0 /.f32 177 89))) #hash((#<representation binary64> . (19648 pow.f64 533 4)) (#<representation binary32> . (+inf.0 pow.f32 533 4))) #hash((#<representation binary64> . (13248 pow.f64 771 7)) (#<representation binary32> . (+inf.0 pow.f32 771 7))) #hash((#<representation binary64> . (6400 pow.f64 62 7)) (#<representation binary32> . (3200 pow.f32 62 7))) #hash((#<representation binary64> . (6528 /.f64 96 62)) (#<representation binary32> . (+inf.0 /.f32 96 62))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 pow.f64 361 460)) (#<representation binary32> . (+inf.0 pow.f32 361 460))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 pow.f64 361 69)) (#<representation binary32> . (+inf.0 pow.f32 361 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 2/3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13184 +.f64 188 546)) (#<representation binary32> . (+inf.0 +.f32 188 546))) #hash((#<representation binary64> . (6528 *.f64 224 920)) (#<representation binary32> . (+inf.0 *.f32 224 920))) #hash((#<representation binary64> . (6592 log.f64 478)) (#<representation binary32> . (+inf.0 log.f32 478))) #hash((#<representation binary64> . (192 *.f64 549 4)) (#<representation binary32> . (+inf.0 *.f32 549 4))) #hash((#<representation binary64> . (128 *.f64 0 971)) (#<representation binary32> . (+inf.0 /.f32 236 112))) #hash((#<representation binary64> . (6528 pow.f64 236 69)) (#<representation binary32> . (+inf.0 pow.f32 236 69))) #hash((#<representation binary64> . (256 /.f64 0 443)) (#<representation binary32> . (+inf.0 /.f32 0 443))) #hash((#<representation binary64> . (6848 *.f64 255 324)) (#<representation binary32> . (+inf.0 *.f32 255 324))) #hash((#<representation binary64> . (6592 pow.f64 488 3)) (#<representation binary32> . (+inf.0 pow.f32 488 3))) #hash((#<representation binary64> . (320 *.f64 556 89)) (#<representation binary32> . (+inf.0 pow.f32 89 69))) #hash((#<representation binary64> . (6528 pow.f64 365 69)) (#<representation binary32> . (+inf.0 pow.f32 365 69))) #hash((#<representation binary64> . (192 *.f64 89 89)) (#<representation binary32> . (+inf.0 pow.f32 89 62))) #hash((#<representation binary64> . (6528 *.f64 19 69)) (#<representation binary32> . (+inf.0 *.f32 19 69))) #hash((#<representation binary64> . (6592 pow.f64 559 4)) (#<representation binary32> . (+inf.0 pow.f32 559 4))) #hash((#<representation binary64> . (192 /.f64 387 3)) (#<representation binary32> . (+inf.0 /.f32 387 3))) #hash((#<representation binary64> . (6592 pow.f64 561 4)) (#<representation binary32> . (+inf.0 pow.f32 561 4))) #hash((#<representation binary64> . (192 /.f64 3 238)) (#<representation binary32> . (+inf.0 pow.f32 238 4))) #hash((#<representation binary64> . (192 *.f64 89 9)) (#<representation binary32> . (+inf.0 *.f32 89 9))) #hash((#<representation binary64> . (6976 *.f64 420 564)) (#<representation binary32> . (+inf.0 *.f32 420 564))) #hash((#<representation binary64> . (128 /.f64 324 9)) (#<representation binary32> . (+inf.0 /.f32 324 9))) #hash((#<representation binary64> . (6784 log.f64 658)) (#<representation binary32> . (+inf.0 +.f32 566 567))) #hash((#<representation binary64> . (6656 log.f64 167)) (#<representation binary32> . (+inf.0 -.f32 278 44))) #hash((#<representation binary64> . (6528 log.f64 479)) (#<representation binary32> . (+inf.0 log.f32 479))) #hash((#<representation binary64> . (6656 log.f64 97)) (#<representation binary32> . (+inf.0 log.f32 97))) #hash((#<representation binary64> . (6720 log.f64 796)) (#<representation binary32> . (+inf.0 log.f32 796))) #hash((#<representation binary64> . (6656 log.f64 211)) (#<representation binary32> . (+inf.0 log.f32 211))) #hash((#<representation binary64> . (6720 log.f64 1004)) (#<representation binary32> . (+inf.0 log.f32 1004))) #hash((#<representation binary64> . (6656 log.f64 1228)) (#<representation binary32> . (+inf.0 log.f32 1228))) #hash((#<representation binary64> . (6848 log.f64 1137)) (#<representation binary32> . (+inf.0 log.f32 1137))) #hash((#<representation binary64> . (6720 log.f64 927)) (#<representation binary32> . (+inf.0 log.f32 927))) #hash((#<representation binary64> . (6656 log.f64 99)) (#<representation binary32> . (+inf.0 log.f32 99))) #hash((#<representation binary64> . (6592 log.f64 1209)) (#<representation binary32> . (+inf.0 log.f32 1209))) #hash((#<representation binary64> . (6592 log.f64 1595)) (#<representation binary32> . (+inf.0 log.f32 1595))) #hash((#<representation binary64> . (6784 log.f64 969)) (#<representation binary32> . (+inf.0 log.f32 969))) #hash((#<representation binary64> . (6848 log.f64 1151)) (#<representation binary32> . (+inf.0 log.f32 1151))) #hash((#<representation binary64> . (6720 log.f64 801)) (#<representation binary32> . (+inf.0 log.f32 801))) #hash((#<representation binary64> . (6400 log.f64 121)) (#<representation binary32> . (3200 log.f32 121))) #hash((#<representation binary64> . (6784 log.f64 1010)) (#<representation binary32> . (+inf.0 log.f32 1010))) #hash((#<representation binary64> . (6528 log.f64 453)) (#<representation binary32> . (+inf.0 log.f32 453))) #hash((#<representation binary64> . (6656 log.f64 925)) (#<representation binary32> . (+inf.0 log.f32 925))) #hash((#<representation binary64> . (6720 log.f64 1564)) (#<representation binary32> . (+inf.0 log.f32 1564))) #hash((#<representation binary64> . (6592 log.f64 975)) (#<representation binary32> . (+inf.0 log.f32 975))) #hash((#<representation binary64> . (6784 log.f64 940)) (#<representation binary32> . (+inf.0 log.f32 940))) #hash((#<representation binary64> . (6400 log.f64 542)) (#<representation binary32> . (3200 log.f32 542))) #hash((#<representation binary64> . (6848 log.f64 263)) (#<representation binary32> . (+inf.0 log.f32 263))) #hash((#<representation binary64> . (6528 log.f64 6)) (#<representation binary32> . (+inf.0 log.f32 6))) #hash((#<representation binary64> . (6656 log.f64 933)) (#<representation binary32> . (+inf.0 log.f32 933))) #hash((#<representation binary64> . (6656 log.f64 1503)) (#<representation binary32> . (+inf.0 log.f32 1503))) #hash((#<representation binary64> . (6592 log.f64 1551)) (#<representation binary32> . (+inf.0 log.f32 1551))) #hash((#<representation binary64> . (6656 log.f64 1448)) (#<representation binary32> . (+inf.0 log.f32 1448))) #hash((#<representation binary64> . (6656 log.f64 1555)) (#<representation binary32> . (+inf.0 log.f32 1555))) #hash((#<representation binary64> . (6592 log.f64 814)) (#<representation binary32> . (+inf.0 log.f32 814))) #hash((#<representation binary64> . (6656 log.f64 932)) (#<representation binary32> . (+inf.0 log.f32 932))) #hash((#<representation binary64> . (6656 log.f64 1429)) (#<representation binary32> . (+inf.0 log.f32 1429))) #hash((#<representation binary64> . (6592 log.f64 726)) (#<representation binary32> . (+inf.0 log.f32 726))) #hash((#<representation binary64> . (6656 log.f64 2241)) (#<representation binary32> . (+inf.0 log.f32 2241))) #hash((#<representation binary64> . (6400 log.f64 2274)) (#<representation binary32> . (3200 log.f32 2274))) #hash((#<representation binary64> . (6720 log.f64 1553)) (#<representation binary32> . (+inf.0 log.f32 1553))) #hash((#<representation binary64> . (6528 log.f64 129)) (#<representation binary32> . (+inf.0 log.f32 129))) #hash((#<representation binary64> . (6720 log.f64 1044)) (#<representation binary32> . (+inf.0 log.f32 1044))) #hash((#<representation binary64> . (6784 log.f64 994)) (#<representation binary32> . (+inf.0 log.f32 994))) #hash((#<representation binary64> . (6400 log.f64 1649)) (#<representation binary32> . (3200 log.f32 1649))) #hash((#<representation binary64> . (6848 log.f64 776)) (#<representation binary32> . (+inf.0 log.f32 776))) #hash((#<representation binary64> . (6528 log.f64 661)) (#<representation binary32> . (+inf.0 log.f32 661))) #hash((#<representation binary64> . (6720 log.f64 1217)) (#<representation binary32> . (+inf.0 log.f32 1217))) #hash((#<representation binary64> . (6720 log.f64 370)) (#<representation binary32> . (+inf.0 log.f32 370))) #hash((#<representation binary64> . (6592 log.f64 1080)) (#<representation binary32> . (+inf.0 log.f32 1080))) #hash((#<representation binary64> . (6400 log.f64 798)) (#<representation binary32> . (3200 log.f32 798))) #hash((#<representation binary64> . (6848 log.f64 176)) (#<representation binary32> . (+inf.0 log.f32 176))) #hash((#<representation binary64> . (6592 log.f64 1667)) (#<representation binary32> . (+inf.0 log.f32 1667))) #hash((#<representation binary64> . (6656 log.f64 778)) (#<representation binary32> . (+inf.0 log.f32 778))) #hash((#<representation binary64> . (6784 log.f64 664)) (#<representation binary32> . (+inf.0 log.f32 664))) #hash((#<representation binary64> . (6720 log.f64 1814)) (#<representation binary32> . (+inf.0 log.f32 1814))) #hash((#<representation binary64> . (6592 log.f64 1662)) (#<representation binary32> . (+inf.0 log.f32 1662))) #hash((#<representation binary64> . (6720 log.f64 1614)) (#<representation binary32> . (+inf.0 log.f32 1614))) #hash((#<representation binary64> . (6784 log.f64 1547)) (#<representation binary32> . (+inf.0 log.f32 1547))) #hash((#<representation binary64> . (6720 log.f64 1664)) (#<representation binary32> . (+inf.0 log.f32 1664))) #hash((#<representation binary64> . (6848 log.f64 1616)) (#<representation binary32> . (+inf.0 log.f32 1616))) #hash((#<representation binary64> . (6720 log.f64 1580)) (#<representation binary32> . (+inf.0 log.f32 1580))) #hash((#<representation binary64> . (6848 log.f64 228)) (#<representation binary32> . (+inf.0 log.f32 228))) #hash((#<representation binary64> . (6720 log.f64 1514)) (#<representation binary32> . (+inf.0 log.f32 1514))) #hash((#<representation binary64> . (6592 log.f64 1475)) (#<representation binary32> . (+inf.0 log.f32 1475))) #hash((#<representation binary64> . (6848 log.f64 1434)) (#<representation binary32> . (+inf.0 log.f32 1434))) #hash((#<representation binary64> . (6720 log.f64 1229)) (#<representation binary32> . (+inf.0 log.f32 1229))) #hash((#<representation binary64> . (6784 log.f64 901)) (#<representation binary32> . (+inf.0 log.f32 901))) #hash((#<representation binary64> . (6848 log.f64 1855)) (#<representation binary32> . (+inf.0 log.f32 1855))) #hash((#<representation binary64> . (6656 log.f64 1093)) (#<representation binary32> . (+inf.0 log.f32 1093))) #hash((#<representation binary64> . (6784 log.f64 907)) (#<representation binary32> . (+inf.0 log.f32 907))) #hash((#<representation binary64> . (6784 log.f64 229)) (#<representation binary32> . (+inf.0 log.f32 229))) #hash((#<representation binary64> . (6656 log.f64 826)) (#<representation binary32> . (+inf.0 log.f32 826))) #hash((#<representation binary64> . (6784 log.f64 957)) (#<representation binary32> . (+inf.0 log.f32 957))) #hash((#<representation binary64> . (6400 log.f64 69)) (#<representation binary32> . (3200 log.f32 69))) #hash((#<representation binary64> . (6400 log.f64 224)) (#<representation binary32> . (3200 log.f32 224))) #hash((#<representation binary64> . (6656 log.f64 257)) (#<representation binary32> . (+inf.0 log.f32 257))) #hash((#<representation binary64> . (6528 log.f64 213)) (#<representation binary32> . (+inf.0 log.f32 213))) #hash((#<representation binary64> . (6400 log.f64 169)) (#<representation binary32> . (3200 log.f32 169))) #hash((#<representation binary64> . (6784 log.f64 1099)) (#<representation binary32> . (+inf.0 log.f32 1099))) #hash((#<representation binary64> . (6528 log.f64 236)) (#<representation binary32> . (+inf.0 log.f32 236))) #hash((#<representation binary64> . (6528 log.f64 110)) (#<representation binary32> . (+inf.0 log.f32 110))) #hash((#<representation binary64> . (6400 log.f64 178)) (#<representation binary32> . (3200 log.f32 178))) #hash((#<representation binary64> . (6592 log.f64 1329)) (#<representation binary32> . (+inf.0 log.f32 1329))) #hash((#<representation binary64> . (6784 log.f64 1328)) (#<representation binary32> . (+inf.0 log.f32 1328))) #hash((#<representation binary64> . (6848 log.f64 1230)) (#<representation binary32> . (+inf.0 log.f32 1230))) #hash((#<representation binary64> . (6400 log.f64 88)) (#<representation binary32> . (3200 log.f32 88))) #hash((#<representation binary64> . (6656 log.f64 308)) (#<representation binary32> . (+inf.0 log.f32 308))) #hash((#<representation binary64> . (6528 log.f64 470)) (#<representation binary32> . (+inf.0 log.f32 470))) #hash((#<representation binary64> . (6720 log.f64 2239)) (#<representation binary32> . (+inf.0 log.f32 2239))) #hash((#<representation binary64> . (6528 log.f64 982)) (#<representation binary32> . (+inf.0 log.f32 982))) #hash((#<representation binary64> . (6592 log.f64 1242)) (#<representation binary32> . (+inf.0 log.f32 1242))) #hash((#<representation binary64> . (6592 log.f64 126)) (#<representation binary32> . (+inf.0 log.f32 126))) #hash((#<representation binary64> . (6592 log.f64 1591)) (#<representation binary32> . (+inf.0 log.f32 1591))) #hash((#<representation binary64> . (6848 log.f64 1566)) (#<representation binary32> . (+inf.0 log.f32 1566))) #hash((#<representation binary64> . (6720 log.f64 1578)) (#<representation binary32> . (+inf.0 log.f32 1578))) #hash((#<representation binary64> . (384 *.f64 2274 1553)) (#<representation binary32> . (+inf.0 neg.f32 1137))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 661 4)) (#<representation binary32> . (+inf.0 pow.f32 661 4))) #hash((#<representation binary64> . (128 /.f64 89 88)) (#<representation binary32> . (+inf.0 /.f32 89 88))) #hash((#<representation binary64> . (6528 pow.f64 470 4)) (#<representation binary32> . (+inf.0 pow.f32 470 4))) #hash((#<representation binary64> . (6784 pow.f64 664 3)) (#<representation binary32> . (+inf.0 pow.f32 664 3))) #hash((#<representation binary64> . (384 *.f64 1228 9)) (#<representation binary32> . (+inf.0 *.f32 1228 9))) #hash((#<representation binary64> . (6592 /.f64 82 4)) (#<representation binary32> . (+inf.0 /.f32 82 4))) #hash((#<representation binary64> . (13056 pow.f64 667 4)) (#<representation binary32> . (+inf.0 pow.f32 667 4))) #hash((#<representation binary64> . (6656 /.f64 89 125)) (#<representation binary32> . (+inf.0 /.f32 89 125))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . -1/8))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 8))) #hash((#t . (0 . -8))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6400 pow.f64 112 7)) (#<representation binary32> . (3200 pow.f32 112 7))) #hash((#<representation binary64> . (6528 pow.f64 185 7)) (#<representation binary32> . (+inf.0 pow.f32 185 7))) #hash((#<representation binary64> . (6400 pow.f64 186 7)) (#<representation binary32> . (3200 pow.f32 186 7))) #hash((#<representation binary64> . (6592 *.f64 278 7)) (#<representation binary32> . (+inf.0 *.f32 278 7))) #hash((#<representation binary64> . (6592 neg.f64 546)) (#<representation binary32> . (+inf.0 neg.f32 546))) #hash((#<representation binary64> . (192 *.f64 301 453)) (#<representation binary32> . (+inf.0 *.f32 301 453))) #hash((#<representation binary64> . (256 *.f64 686 69)) (#<representation binary32> . (+inf.0 *.f32 686 69))) #hash((#<representation binary64> . (192 /.f64 3 446)) (#<representation binary32> . (+inf.0 pow.f32 446 4))) #hash((#<representation binary64> . (6592 *.f64 96 0)) (#<representation binary32> . (+inf.0 *.f32 96 0))) #hash((#<representation binary64> . (13120 pow.f64 689 4)) (#<representation binary32> . (+inf.0 pow.f32 689 4))) #hash((#<representation binary64> . (6720 /.f64 14 4)) (#<representation binary32> . (+inf.0 /.f32 14 4))) #hash((#<representation binary64> . (320 *.f64 236 465)) (#<representation binary32> . (+inf.0 *.f32 236 465))) #hash((#<representation binary64> . (6976 /.f64 365 255)) (#<representation binary32> . (+inf.0 /.f32 365 255))) #hash((#<representation binary64> . (6400 pow.f64 121 7)) (#<representation binary32> . (3200 pow.f32 121 7))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (12800 pow.f64 84 3)) (#<representation binary32> . (6400 pow.f32 84 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 *.f64 714 11)) (#<representation binary32> . (+inf.0 neg.f32 718))) #hash((#<representation binary64> . (128 *.f64 0 324)) (#<representation binary32> . (+inf.0 *.f32 0 324))) #hash((#t . (0 . -1/18))) #hash((#<representation binary64> . (6528 *.f64 324 16)) (#<representation binary32> . (+inf.0 *.f32 324 16))) #hash((#<representation binary64> . (192 *.f64 324 2)) (#<representation binary32> . (+inf.0 *.f32 324 2))) #hash((#<representation binary64> . (6592 *.f64 324 82)) (#<representation binary32> . (+inf.0 *.f32 324 82))) #hash((#<representation binary64> . (6656 *.f64 715 0)) (#<representation binary32> . (+inf.0 *.f32 715 0))) #hash((#<representation binary64> . (39616 +.f64 299 299)) (#<representation binary32> . (+inf.0 fma.f32 144 69 299))) #hash((#<representation binary64> . (320 *.f64 365 13)) (#<representation binary32> . (+inf.0 *.f32 365 13))) #hash((#<representation binary64> . (192 *.f64 88 177)) (#<representation binary32> . (+inf.0 *.f32 88 177))) #hash((#<representation binary64> . (128 *.f64 9 62)) (#<representation binary32> . (+inf.0 *.f32 9 62))) #hash((#<representation binary64> . (448 *.f64 365 99)) (#<representation binary32> . (+inf.0 *.f32 365 99))) #hash((#<representation binary64> . (192 *.f64 4 213)) (#<representation binary32> . (+inf.0 *.f32 4 213))) #hash((#<representation binary64> . (6784 *.f64 12 324)) (#<representation binary32> . (+inf.0 *.f32 12 324))) #hash((#<representation binary64> . (192 /.f64 62 234)) (#<representation binary32> . (+inf.0 /.f32 62 234))) #hash((#<representation binary64> . (384 +.f64 728 729)) (#<representation binary32> . (+inf.0 +.f32 728 729))) #hash((#<representation binary64> . (192 *.f64 9 9)) (#<representation binary32> . (+inf.0 pow.f32 9 62))) #hash((#<representation binary64> . (128 *.f64 1 9)) (#<representation binary32> . (+inf.0 *.f32 1 9))) #hash((#<representation binary64> . (6656 /.f64 16 479)) (#<representation binary32> . (+inf.0 /.f32 16 479))) #hash((#<representation binary64> . (6848 pow.f64 263 7)) (#<representation binary32> . (+inf.0 pow.f32 263 7))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 pow.f64 786 62)) (#<representation binary32> . (+inf.0 pow.f32 786 62))) #hash((#<representation binary64> . (6848 *.f64 420 3)) (#<representation binary32> . (+inf.0 *.f32 420 3))) #hash((#<representation binary64> . (13120 log.f64 8)) (#<representation binary32> . (+inf.0 log.f32 8))) #hash((#<representation binary64> . (13120 log.f64 1225)) (#<representation binary32> . (+inf.0 log.f32 1225))) #hash((#<representation binary64> . (13184 log.f64 93)) (#<representation binary32> . (+inf.0 log.f32 93))) #hash((#<representation binary64> . (6592 log.f64 15)) (#<representation binary32> . (+inf.0 log.f32 15))) #hash((#<representation binary64> . (6656 log.f64 939)) (#<representation binary32> . (+inf.0 log.f32 939))) #hash((#<representation binary64> . (13120 log.f64 456)) (#<representation binary32> . (+inf.0 log.f32 456))) #hash((#<representation binary64> . (6592 log.f64 562)) (#<representation binary32> . (+inf.0 log.f32 562))) #hash((#<representation binary64> . (6656 log.f64 1722)) (#<representation binary32> . (+inf.0 log.f32 1722))) #hash((#<representation binary64> . (6656 log.f64 261)) (#<representation binary32> . (+inf.0 log.f32 261))) #hash((#<representation binary64> . (12992 log.f64 17)) (#<representation binary32> . (+inf.0 log.f32 17))) #hash((#<representation binary64> . (13184 log.f64 1445)) (#<representation binary32> . (+inf.0 log.f32 1445))) #hash((#<representation binary64> . (6592 log.f64 817)) (#<representation binary32> . (+inf.0 log.f32 817))) #hash((#<representation binary64> . (13056 log.f64 1238)) (#<representation binary32> . (+inf.0 log.f32 1238))) #hash((#<representation binary64> . (6656 log.f64 1569)) (#<representation binary32> . (+inf.0 log.f32 1569))) #hash((#<representation binary64> . (6592 log.f64 1754)) (#<representation binary32> . (+inf.0 log.f32 1754))) #hash((#<representation binary64> . (13248 log.f64 1174)) (#<representation binary32> . (+inf.0 log.f32 1174))) #hash((#<representation binary64> . (13184 log.f64 1075)) (#<representation binary32> . (+inf.0 log.f32 1075))) #hash((#<representation binary64> . (13184 log.f64 780)) (#<representation binary32> . (+inf.0 log.f32 780))) #hash((#<representation binary64> . (13248 log.f64 376)) (#<representation binary32> . (+inf.0 log.f32 376))) #hash((#<representation binary64> . (13312 log.f64 375)) (#<representation binary32> . (+inf.0 log.f32 375))) #hash((#<representation binary64> . (13312 log.f64 1714)) (#<representation binary32> . (+inf.0 log.f32 1714))) #hash((#<representation binary64> . (6528 log.f64 91)) (#<representation binary32> . (+inf.0 log.f32 91))) #hash((#<representation binary64> . (13312 log.f64 490)) (#<representation binary32> . (+inf.0 log.f32 490))) #hash((#<representation binary64> . (13120 log.f64 250)) (#<representation binary32> . (+inf.0 log.f32 250))) #hash((#<representation binary64> . (6656 log.f64 942)) (#<representation binary32> . (+inf.0 log.f32 942))) #hash((#<representation binary64> . (13056 log.f64 66)) (#<representation binary32> . (+inf.0 log.f32 66))) #hash((#<representation binary64> . (6656 log.f64 1738)) (#<representation binary32> . (+inf.0 log.f32 1738))) #hash((#<representation binary64> . (6528 log.f64 179)) (#<representation binary32> . (+inf.0 log.f32 179))) #hash((#<representation binary64> . (6720 log.f64 1106)) (#<representation binary32> . (+inf.0 log.f32 1106))) #hash((#<representation binary64> . (6720 log.f64 1776)) (#<representation binary32> . (+inf.0 log.f32 1776))) #hash((#<representation binary64> . (13120 log.f64 1777)) (#<representation binary32> . (+inf.0 log.f32 1777))) #hash((#<representation binary64> . (6656 log.f64 501)) (#<representation binary32> . (+inf.0 log.f32 501))) #hash((#<representation binary64> . (6720 log.f64 1778)) (#<representation binary32> . (+inf.0 log.f32 1778))) #hash((#<representation binary64> . (13120 log.f64 1779)) (#<representation binary32> . (+inf.0 log.f32 1779))) #hash((#<representation binary64> . (6720 log.f64 1780)) (#<representation binary32> . (+inf.0 log.f32 1780))) #hash((#<representation binary64> . (13056 log.f64 1753)) (#<representation binary32> . (+inf.0 log.f32 1753))) #hash((#<representation binary64> . (6848 /.f64 9 417)) (#<representation binary32> . (+inf.0 /.f32 9 417))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 774 69)) (#<representation binary32> . (+inf.0 pow.f32 774 69))) #hash((#<representation binary64> . (192 /.f64 2 4)) (#<representation binary32> . (+inf.0 /.f32 2 4))) #hash((#<representation binary64> . (6848 pow.f64 776 4)) (#<representation binary32> . (+inf.0 pow.f32 776 4))) #hash((#<representation binary64> . (448 /.f64 365 203)) (#<representation binary32> . (+inf.0 /.f32 365 203))) #hash((#<representation binary64> . (6656 pow.f64 778 3)) (#<representation binary32> . (+inf.0 pow.f32 778 3))) #hash((#<representation binary64> . (256 *.f64 89 446)) (#<representation binary32> . (+inf.0 *.f32 89 446))) #hash((#<representation binary64> . (6528 pow.f64 387 7)) (#<representation binary32> . (+inf.0 pow.f32 387 7))) #hash((#<representation binary64> . (6784 /.f64 8 4)) (#<representation binary32> . (+inf.0 /.f32 8 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13248 pow.f64 783 4)) (#<representation binary32> . (+inf.0 pow.f32 783 4))) #hash((#<representation binary64> . (6848 /.f64 62 803)) (#<representation binary32> . (+inf.0 /.f32 62 803))) #hash((#<representation binary64> . (6528 pow.f64 661 7)) (#<representation binary32> . (+inf.0 pow.f32 661 7))) #hash((#<representation binary64> . (13440 *.f64 786 121)) (#<representation binary32> . (+inf.0 *.f32 786 121))) #hash((#<representation binary64> . (13376 -.f64 1 361)) (#<representation binary32> . (+inf.0 neg.f32 361))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 *.f64 112 365)) (#<representation binary32> . (+inf.0 *.f32 112 365))) #hash((#<representation binary64> . (128 *.f64 89 186)) (#<representation binary32> . (+inf.0 *.f32 89 186))) #hash((#<representation binary64> . (6528 pow.f64 166 69)) (#<representation binary32> . (+inf.0 pow.f32 166 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 *.f64 2 178)) (#<representation binary32> . (+inf.0 *.f32 2 178))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 1/64))) #hash((#<representation binary64> . (6720 pow.f64 796 7)) (#<representation binary32> . (+inf.0 pow.f32 796 7))) #hash((#<representation binary64> . (320 /.f64 97 3)) (#<representation binary32> . (+inf.0 /.f32 97 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . -1/3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 /.f64 3 826)) (#<representation binary32> . (+inf.0 pow.f32 826 4))) #hash((#<representation binary64> . (6848 neg.f64 803)) (#<representation binary32> . (+inf.0 neg.f32 803))) #hash((#<representation binary64> . (6784 /.f64 16 167)) (#<representation binary32> . (+inf.0 /.f32 16 167))) #hash((#<representation binary64> . (6656 /.f64 319 62)) (#<representation binary32> . (+inf.0 /.f32 319 62))) #hash((#<representation binary64> . (6656 /.f64 96 135)) (#<representation binary32> . (+inf.0 /.f32 96 135))) #hash((#<representation binary64> . (6592 /.f64 96 89)) (#<representation binary32> . (+inf.0 /.f32 96 89))) #hash((#<representation binary64> . (6656 *.f64 466 96)) (#<representation binary32> . (+inf.0 *.f32 466 96))) #hash((#<representation binary64> . (6656 /.f64 135 16)) (#<representation binary32> . (+inf.0 /.f32 135 16))) #hash((#<representation binary64> . (6528 /.f64 16 62)) (#<representation binary32> . (+inf.0 /.f32 16 62))) #hash((#<representation binary64> . (13184 +.f64 546 1994)) (#<representation binary32> . (+inf.0 +.f32 546 1994))) #hash((#<representation binary64> . (13184 +.f64 1994 546)) (#<representation binary32> . (+inf.0 fma.f32 491 4 546))) #hash((#<representation binary64> . (13120 +.f64 303 315)) (#<representation binary32> . (+inf.0 fma.f32 279 4 315))) #hash((#<representation binary64> . (13184 *.f64 735 4)) (#<representation binary32> . (+inf.0 *.f32 735 4))) #hash((#<representation binary64> . (192 /.f64 62 236)) (#<representation binary32> . (+inf.0 /.f32 62 236))) #hash((#<representation binary64> . (384 -.f64 1 816)) (#<representation binary32> . (+inf.0 -.f32 1 816))) #hash((#<representation binary64> . (320 *.f64 728 9)) (#<representation binary32> . (+inf.0 pow.f32 9 69))) #hash((#<representation binary64> . (192 /.f64 365 3)) (#<representation binary32> . (+inf.0 /.f32 365 3))) #hash((#<representation binary64> . (6784 /.f64 55 324)) (#<representation binary32> . (+inf.0 /.f32 55 324))) #hash((#<representation binary64> . (6656 log.f64 820)) (#<representation binary32> . (+inf.0 log.f32 820))) #hash((#<representation binary64> . (256 /.f64 9 2)) (#<representation binary32> . (+inf.0 /.f32 9 2))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 pow.f64 906 62)) (#<representation binary32> . (+inf.0 pow.f32 906 62))) #hash((#<representation binary64> . (6720 *.f64 202 4)) (#<representation binary32> . (+inf.0 *.f32 202 4))) #hash((#<representation binary64> . (6656 *.f64 310 16)) (#<representation binary32> . (+inf.0 *.f32 310 16))) #hash((#<representation binary64> . (320 /.f64 826 4)) (#<representation binary32> . (+inf.0 /.f32 826 4))) #hash((#<representation binary64> . (256 *.f64 126 1122)) (#<representation binary32> . (+inf.0 /.f32 69 99))) #hash((#<representation binary64> . (13248 pow.f64 828 4)) (#<representation binary32> . (+inf.0 pow.f32 828 4))) #hash((#<representation binary64> . (6848 /.f64 3 904)) (#<representation binary32> . (+inf.0 pow.f32 904 4))) #hash((#<representation binary64> . (19712 pow.f64 272 69)) (#<representation binary32> . (+inf.0 pow.f32 272 69))) #hash((#<representation binary64> . (19712 pow.f64 272 62)) (#<representation binary32> . (+inf.0 pow.f32 272 62))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 *.f64 1818 69)) (#<representation binary32> . (+inf.0 *.f32 1818 69))) #hash((#<representation binary64> . (256 /.f64 324 15)) (#<representation binary32> . (+inf.0 /.f32 324 15))) #hash((#<representation binary64> . (6848 pow.f64 776 7)) (#<representation binary32> . (+inf.0 pow.f32 776 7))) #hash((#<representation binary64> . (6656 pow.f64 203 224)) (#<representation binary32> . (+inf.0 pow.f32 203 224))) #hash((#<representation binary64> . (6528 pow.f64 479 7)) (#<representation binary32> . (+inf.0 pow.f32 479 7))) #hash((#<representation binary64> . (6464 pow.f64 89 7)) (#<representation binary32> . (+inf.0 pow.f32 89 7))) #hash((#<representation binary64> . (6656 pow.f64 97 7)) (#<representation binary32> . (+inf.0 pow.f32 97 7))) #hash((#<representation binary64> . (6528 pow.f64 135 7)) (#<representation binary32> . (+inf.0 pow.f32 135 7))) #hash((#<representation binary64> . (6656 pow.f64 211 7)) (#<representation binary32> . (+inf.0 pow.f32 211 7))) #hash((#<representation binary64> . (6720 pow.f64 1004 7)) (#<representation binary32> . (+inf.0 pow.f32 1004 7))) #hash((#<representation binary64> . (6656 pow.f64 1228 7)) (#<representation binary32> . (+inf.0 pow.f32 1228 7))) #hash((#<representation binary64> . (6784 pow.f64 969 7)) (#<representation binary32> . (+inf.0 pow.f32 969 7))) #hash((#<representation binary64> . (6848 pow.f64 1151 7)) (#<representation binary32> . (+inf.0 pow.f32 1151 7))) #hash((#<representation binary64> . (6528 pow.f64 365 7)) (#<representation binary32> . (+inf.0 pow.f32 365 7))) #hash((#<representation binary64> . (6720 pow.f64 927 7)) (#<representation binary32> . (+inf.0 pow.f32 927 7))) #hash((#<representation binary64> . (6400 pow.f64 79 7)) (#<representation binary32> . (3200 pow.f32 79 7))) #hash((#<representation binary64> . (6848 pow.f64 233 7)) (#<representation binary32> . (+inf.0 pow.f32 233 7))) #hash((#<representation binary64> . (6784 pow.f64 115 7)) (#<representation binary32> . (+inf.0 pow.f32 115 7))) #hash((#<representation binary64> . (6848 pow.f64 1137 7)) (#<representation binary32> . (+inf.0 pow.f32 1137 7))) #hash((#<representation binary64> . (6528 pow.f64 166 7)) (#<representation binary32> . (+inf.0 pow.f32 166 7))) #hash((#<representation binary64> . (6720 pow.f64 801 7)) (#<representation binary32> . (+inf.0 pow.f32 801 7))) #hash((#<representation binary64> . (6592 pow.f64 259 7)) (#<representation binary32> . (+inf.0 pow.f32 259 7))) #hash((#<representation binary64> . (6592 pow.f64 1595 7)) (#<representation binary32> . (+inf.0 pow.f32 1595 7))) #hash((#<representation binary64> . (6656 pow.f64 99 7)) (#<representation binary32> . (+inf.0 pow.f32 99 7))) #hash((#<representation binary64> . (6592 pow.f64 1209 7)) (#<representation binary32> . (+inf.0 pow.f32 1209 7))) #hash((#<representation binary64> . (6784 pow.f64 1010 7)) (#<representation binary32> . (+inf.0 pow.f32 1010 7))) #hash((#<representation binary64> . (6528 pow.f64 453 7)) (#<representation binary32> . (+inf.0 pow.f32 453 7))) #hash((#<representation binary64> . (6656 pow.f64 925 7)) (#<representation binary32> . (+inf.0 pow.f32 925 7))) #hash((#<representation binary64> . (6720 pow.f64 1564 7)) (#<representation binary32> . (+inf.0 pow.f32 1564 7))) #hash((#<representation binary64> . (6592 pow.f64 975 7)) (#<representation binary32> . (+inf.0 pow.f32 975 7))) #hash((#<representation binary64> . (6784 pow.f64 940 7)) (#<representation binary32> . (+inf.0 pow.f32 940 7))) #hash((#<representation binary64> . (6400 pow.f64 542 7)) (#<representation binary32> . (3200 pow.f32 542 7))) #hash((#<representation binary64> . (6656 pow.f64 933 7)) (#<representation binary32> . (+inf.0 pow.f32 933 7))) #hash((#<representation binary64> . (6656 pow.f64 1503 7)) (#<representation binary32> . (+inf.0 pow.f32 1503 7))) #hash((#<representation binary64> . (6592 pow.f64 1551 7)) (#<representation binary32> . (+inf.0 pow.f32 1551 7))) #hash((#<representation binary64> . (6656 pow.f64 1448 7)) (#<representation binary32> . (+inf.0 pow.f32 1448 7))) #hash((#<representation binary64> . (6592 pow.f64 488 7)) (#<representation binary32> . (+inf.0 pow.f32 488 7))) #hash((#<representation binary64> . (6528 pow.f64 343 7)) (#<representation binary32> . (+inf.0 pow.f32 343 7))) #hash((#<representation binary64> . (6656 pow.f64 1555 7)) (#<representation binary32> . (+inf.0 pow.f32 1555 7))) #hash((#<representation binary64> . (6592 pow.f64 814 7)) (#<representation binary32> . (+inf.0 pow.f32 814 7))) #hash((#<representation binary64> . (6656 pow.f64 932 7)) (#<representation binary32> . (+inf.0 pow.f32 932 7))) #hash((#<representation binary64> . (6656 pow.f64 1429 7)) (#<representation binary32> . (+inf.0 pow.f32 1429 7))) #hash((#<representation binary64> . (6592 pow.f64 726 7)) (#<representation binary32> . (+inf.0 pow.f32 726 7))) #hash((#<representation binary64> . (6656 pow.f64 2241 7)) (#<representation binary32> . (+inf.0 pow.f32 2241 7))) #hash((#<representation binary64> . (6400 pow.f64 2274 7)) (#<representation binary32> . (3200 pow.f32 2274 7))) #hash((#<representation binary64> . (6720 pow.f64 1553 7)) (#<representation binary32> . (+inf.0 pow.f32 1553 7))) #hash((#<representation binary64> . (6528 pow.f64 129 7)) (#<representation binary32> . (+inf.0 pow.f32 129 7))) #hash((#<representation binary64> . (6720 pow.f64 1044 7)) (#<representation binary32> . (+inf.0 pow.f32 1044 7))) #hash((#<representation binary64> . (6784 pow.f64 994 7)) (#<representation binary32> . (+inf.0 pow.f32 994 7))) #hash((#<representation binary64> . (6400 pow.f64 1649 7)) (#<representation binary32> . (3200 pow.f32 1649 7))) #hash((#<representation binary64> . (6720 pow.f64 1217 7)) (#<representation binary32> . (+inf.0 pow.f32 1217 7))) #hash((#<representation binary64> . (6592 pow.f64 1080 7)) (#<representation binary32> . (+inf.0 pow.f32 1080 7))) #hash((#<representation binary64> . (6400 pow.f64 798 7)) (#<representation binary32> . (3200 pow.f32 798 7))) #hash((#<representation binary64> . (6592 pow.f64 1667 7)) (#<representation binary32> . (+inf.0 pow.f32 1667 7))) #hash((#<representation binary64> . (6656 pow.f64 778 7)) (#<representation binary32> . (+inf.0 pow.f32 778 7))) #hash((#<representation binary64> . (6784 pow.f64 664 7)) (#<representation binary32> . (+inf.0 pow.f32 664 7))) #hash((#<representation binary64> . (6720 pow.f64 1814 7)) (#<representation binary32> . (+inf.0 pow.f32 1814 7))) #hash((#<representation binary64> . (6592 pow.f64 1662 7)) (#<representation binary32> . (+inf.0 pow.f32 1662 7))) #hash((#<representation binary64> . (6720 pow.f64 1614 7)) (#<representation binary32> . (+inf.0 pow.f32 1614 7))) #hash((#<representation binary64> . (6784 pow.f64 1547 7)) (#<representation binary32> . (+inf.0 pow.f32 1547 7))) #hash((#<representation binary64> . (6720 pow.f64 1664 7)) (#<representation binary32> . (+inf.0 pow.f32 1664 7))) #hash((#<representation binary64> . (6848 pow.f64 1616 7)) (#<representation binary32> . (+inf.0 pow.f32 1616 7))) #hash((#<representation binary64> . (6720 pow.f64 1580 7)) (#<representation binary32> . (+inf.0 pow.f32 1580 7))) #hash((#<representation binary64> . (6848 pow.f64 228 7)) (#<representation binary32> . (+inf.0 pow.f32 228 7))) #hash((#<representation binary64> . (6720 pow.f64 1514 7)) (#<representation binary32> . (+inf.0 pow.f32 1514 7))) #hash((#<representation binary64> . (6592 pow.f64 1475 7)) (#<representation binary32> . (+inf.0 pow.f32 1475 7))) #hash((#<representation binary64> . (6848 pow.f64 1434 7)) (#<representation binary32> . (+inf.0 pow.f32 1434 7))) #hash((#<representation binary64> . (6720 pow.f64 1229 7)) (#<representation binary32> . (+inf.0 pow.f32 1229 7))) #hash((#<representation binary64> . (384 *.f64 324 1106)) (#<representation binary32> . (+inf.0 pow.f32 1330 4))) #hash((#<representation binary64> . (6848 *.f64 565 7)) (#<representation binary32> . (+inf.0 *.f32 565 7))) #hash((#<representation binary64> . (6976 /.f64 904 166)) (#<representation binary32> . (+inf.0 /.f32 904 166))) #hash((#<representation binary64> . (6784 /.f64 16 211)) (#<representation binary32> . (+inf.0 /.f32 16 211))) #hash((#<representation binary64> . (13440 *.f64 121 906)) (#<representation binary32> . (+inf.0 *.f32 121 906))) #hash((#<representation binary64> . (13376 -.f64 1 161)) (#<representation binary32> . (+inf.0 neg.f32 161))) #hash((#<representation binary64> . (384 /.f64 1093 89)) (#<representation binary32> . (+inf.0 pow.f32 969 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13056 pow.f64 911 4)) (#<representation binary32> . (+inf.0 pow.f32 911 4))) #hash((#<representation binary64> . (6656 /.f64 11 4)) (#<representation binary32> . (+inf.0 /.f32 11 4))) #hash((#<representation binary64> . (192 *.f64 112 453)) (#<representation binary32> . (+inf.0 *.f32 112 453))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 *.f64 113 466)) (#<representation binary32> . (+inf.0 *.f32 113 466))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 289 4)) (#<representation binary32> . (+inf.0 pow.f32 289 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6464 log.f64 197)) (#<representation binary32> . (+inf.0 log.f32 197))) #hash((#<representation binary64> . (192 neg.f64 234)) (#<representation binary32> . (+inf.0 neg.f32 234))) #hash((#<representation binary64> . (6784 /.f64 16 925)) (#<representation binary32> . (+inf.0 /.f32 16 925))) #hash((#<representation binary64> . (6720 *.f64 686 16)) (#<representation binary32> . (+inf.0 *.f32 686 16))) #hash((#<representation binary64> . (6784 *.f64 257 96)) (#<representation binary32> . (+inf.0 *.f32 257 96))) #hash((#<representation binary64> . (256 /.f64 446 0)) (#<representation binary32> . (+inf.0 pow.f32 257 4))) #hash((#<representation binary64> . (6784 *.f64 308 16)) (#<representation binary32> . (+inf.0 *.f32 308 16))) #hash((#<representation binary64> . (320 /.f64 62 826)) (#<representation binary32> . (+inf.0 /.f32 62 826))) #hash((#<representation binary64> . (13120 +.f64 315 303)) (#<representation binary32> . (+inf.0 fma.f32 19 4 303))) #hash((#<representation binary64> . (256 *.f64 126 4)) (#<representation binary32> . (+inf.0 *.f32 126 4))) #hash((#<representation binary64> . (448 *.f64 211 365)) (#<representation binary32> . (+inf.0 *.f32 211 365))) #hash((#<representation binary64> . (320 neg.f64 932)) (#<representation binary32> . (+inf.0 neg.f32 932))) #hash((#<representation binary64> . (256 *.f64 89 182)) (#<representation binary32> . (+inf.0 *.f32 89 182))) #hash((#<representation binary64> . (256 /.f64 89 470)) (#<representation binary32> . (+inf.0 /.f32 89 470))) #hash((#<representation binary64> . (320 /.f64 503 112)) (#<representation binary32> . (+inf.0 /.f32 503 112))) #hash((#<representation binary64> . (6528 pow.f64 6 3)) (#<representation binary32> . (+inf.0 pow.f32 6 3))) #hash((#<representation binary64> . (640 +.f64 1 937)) (#<representation binary32> . (+inf.0 +.f32 1 937))) #hash((#<representation binary64> . (576 +.f64 973 1942)) (#<representation binary32> . (+inf.0 +.f32 973 1942))) #hash((#<representation binary64> . (6656 /.f64 16 166)) (#<representation binary32> . (+inf.0 /.f32 16 166))) #hash((#<representation binary64> . (256 /.f64 15 3)) (#<representation binary32> . (+inf.0 /.f32 15 3))) #hash((#<representation binary64> . (384 /.f64 89 203)) (#<representation binary32> . (+inf.0 /.f32 89 203))) #hash((#<representation binary64> . (256 -.f64 1 126)) (#<representation binary32> . (+inf.0 -.f32 1 126))) #hash((#<representation binary64> . (256 /.f64 13 0)) (#<representation binary32> . (+inf.0 /.f32 13 0))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6912 *.f64 126 804)) (#<representation binary32> . (+inf.0 *.f32 126 804))) #hash((#<representation binary64> . (6848 *.f64 549 804)) (#<representation binary32> . (+inf.0 *.f32 549 804))) #hash((#<representation binary64> . (6784 *.f64 941 16)) (#<representation binary32> . (+inf.0 *.f32 941 16))) #hash((#<representation binary64> . (6848 pow.f64 176 3)) (#<representation binary32> . (+inf.0 pow.f32 176 3))) #hash((#<representation binary64> . (384 +.f64 951 952)) (#<representation binary32> . (+inf.0 +.f32 951 952))) #hash((#<representation binary64> . (192 *.f64 0 0)) (#<representation binary32> . (+inf.0 pow.f32 0 62))) #hash((#<representation binary64> . (128 *.f64 1 0)) (#<representation binary32> . (+inf.0 *.f32 1 0))) #hash((#<representation binary64> . (192 /.f64 324 13)) (#<representation binary32> . (+inf.0 /.f32 324 13))) #hash((#<representation binary64> . (192 /.f64 178 135)) (#<representation binary32> . (+inf.0 /.f32 178 135))) #hash((#<representation binary64> . (13440 *.f64 121 786)) (#<representation binary32> . (+inf.0 *.f32 121 786))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (384 /.f64 0 778)) (#<representation binary32> . (+inf.0 /.f32 0 778))) #hash((#<representation binary64> . (6720 *.f64 631 4)) (#<representation binary32> . (+inf.0 *.f32 631 4))) #hash((#<representation binary64> . (13184 pow.f64 960 4)) (#<representation binary32> . (+inf.0 pow.f32 960 4))) #hash((#<representation binary64> . (6784 /.f64 66 9)) (#<representation binary32> . (+inf.0 /.f32 66 9))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 pow.f64 786 69)) (#<representation binary32> . (+inf.0 pow.f32 786 69))) #hash((#<representation binary64> . (13312 +.f64 205 964)) (#<representation binary32> . (+inf.0 fma.f32 566 4 964))) #hash((#<representation binary64> . (6528 *.f64 920 143)) (#<representation binary32> . (+inf.0 *.f32 920 143))) #hash((#<representation binary64> . (6592 *.f64 491 7)) (#<representation binary32> . (+inf.0 *.f32 491 7))) #hash((#<representation binary64> . (384 *.f64 126 421)) (#<representation binary32> . (+inf.0 pow.f32 306 4))) #hash((#<representation binary64> . (6656 *.f64 319 4)) (#<representation binary32> . (+inf.0 *.f32 319 4))) #hash((#<representation binary64> . (448 neg.f64 969)) (#<representation binary32> . (+inf.0 neg.f32 969))) #hash((#<representation binary64> . (384 *.f64 89 211)) (#<representation binary32> . (+inf.0 /.f32 940 69))) #hash((#<representation binary64> . (256 /.f64 368 9)) (#<representation binary32> . (+inf.0 /.f32 368 9))) #hash((#t . (0 . 1/9))) #hash((#<representation binary64> . (192 *.f64 4 564)) (#<representation binary32> . (+inf.0 *.f32 4 564))) #hash((#<representation binary64> . (320 *.f64 135 135)) (#<representation binary32> . (+inf.0 pow.f32 135 62))) #hash((#<representation binary64> . (6528 /.f64 16 3)) (#<representation binary32> . (+inf.0 /.f32 16 3))) #hash((#<representation binary64> . (192 /.f64 453 3)) (#<representation binary32> . (+inf.0 /.f32 453 3))) #hash((#<representation binary64> . (19840 *.f64 977 69)) (#<representation binary32> . (+inf.0 *.f32 977 69))) #hash((#<representation binary64> . (19776 *.f64 344 69)) (#<representation binary32> . (+inf.0 *.f32 344 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 *.f64 167 166)) (#<representation binary32> . (+inf.0 *.f32 167 166))) #hash((#<representation binary64> . (320 *.f64 365 446)) (#<representation binary32> . (+inf.0 *.f32 365 446))) #hash((#<representation binary64> . (6848 *.f64 982 804)) (#<representation binary32> . (+inf.0 *.f32 982 804))) #hash((#<representation binary64> . (128 /.f64 0 112)) (#<representation binary32> . (+inf.0 /.f32 0 112))) #hash((#<representation binary64> . (19328 *.f64 984 224)) (#<representation binary32> . (+inf.0 *.f32 984 224))) #hash((#<representation binary64> . (19264 log.f64 1590)) (#<representation binary32> . (+inf.0 log.f32 1590))) #hash((#<representation binary64> . (6400 pow.f64 3 169)) (#<representation binary32> . (3200 pow.f32 3 169))) #hash((#<representation binary64> . (6720 *.f64 712 3)) (#<representation binary32> . (+inf.0 *.f32 712 3))) #hash((#<representation binary64> . (320 *.f64 213 982)) (#<representation binary32> . (+inf.0 *.f32 213 982))) #hash((#<representation binary64> . (13120 pow.f64 385 7)) (#<representation binary32> . (+inf.0 pow.f32 385 7))) #hash((#<representation binary64> . (384 -.f64 1 990)) (#<representation binary32> . (+inf.0 -.f32 1 990))) #hash((#<representation binary64> . (320 *.f64 951 0)) (#<representation binary32> . (+inf.0 pow.f32 0 69))) #hash((#<representation binary64> . (13184 pow.f64 992 4)) (#<representation binary32> . (+inf.0 pow.f32 992 4))) #hash((#<representation binary64> . (6784 /.f64 9 712)) (#<representation binary32> . (+inf.0 /.f32 9 712))) #hash((#<representation binary64> . (320 /.f64 110 135)) (#<representation binary32> . (+inf.0 /.f32 110 135))) #hash((#<representation binary64> . (384 /.f64 89 308)) (#<representation binary32> . (+inf.0 /.f32 89 308))) #hash((#<representation binary64> . (6656 /.f64 9 82)) (#<representation binary32> . (+inf.0 /.f32 9 82))) #hash((#<representation binary64> . (13312 log.f64 997)) (#<representation binary32> . (+inf.0 log.f32 997))) #hash((#<representation binary64> . (6912 /.f64 771 324)) (#<representation binary32> . (+inf.0 /.f32 771 324))) #hash((#<representation binary64> . (320 *.f64 982 310)) (#<representation binary32> . (+inf.0 *.f32 982 310))) #hash((#<representation binary64> . (6848 /.f64 420 4)) (#<representation binary32> . (+inf.0 /.f32 420 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 500 4)) (#<representation binary32> . (+inf.0 pow.f32 500 4))) #hash((#<representation binary64> . (13376 neg.f64 272)) (#<representation binary32> . (+inf.0 neg.f32 272))) #hash((#<representation binary64> . (320 /.f64 211 3)) (#<representation binary32> . (+inf.0 /.f32 211 3))) #hash((#<representation binary64> . (6912 /.f64 16 1010)) (#<representation binary32> . (+inf.0 /.f32 16 1010))) #hash((#<representation binary64> . (6848 *.f64 1128 16)) (#<representation binary32> . (+inf.0 *.f32 1128 16))) #hash((#<representation binary64> . (128 /.f64 0 62)) (#<representation binary32> . (+inf.0 pow.f32 6 4))) #hash((#<representation binary64> . (6784 *.f64 531 16)) (#<representation binary32> . (+inf.0 *.f32 531 16))) #hash((#<representation binary64> . (6912 *.f64 957 96)) (#<representation binary32> . (+inf.0 *.f32 957 96))) #hash((#<representation binary64> . (384 /.f64 778 0)) (#<representation binary32> . (+inf.0 pow.f32 957 4))) #hash((#<representation binary64> . (256 *.f64 89 443)) (#<representation binary32> . (+inf.0 *.f32 89 443))) #hash((#<representation binary64> . (128 *.f64 89 301)) (#<representation binary32> . (+inf.0 *.f32 89 301))) #hash((#<representation binary64> . (6912 *.f64 1099 16)) (#<representation binary32> . (+inf.0 *.f32 1099 16))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19840 *.f64 1017 69)) (#<representation binary32> . (+inf.0 *.f32 1017 69))) #hash((#<representation binary64> . (19776 log.f64 906)) (#<representation binary32> . (+inf.0 log.f32 906))) #hash((#<representation binary64> . (256 *.f64 126 224)) (#<representation binary32> . (+inf.0 *.f32 126 224))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 *.f64 14 564)) (#<representation binary32> . (+inf.0 *.f32 14 564))) #hash((#<representation binary64> . (6592 /.f64 125 62)) (#<representation binary32> . (+inf.0 /.f32 125 62))) #hash((#<representation binary64> . (6720 pow.f64 1023 4)) (#<representation binary32> . (+inf.0 pow.f32 1023 4))) #hash((#<representation binary64> . (320 /.f64 135 982)) (#<representation binary32> . (+inf.0 /.f32 135 982))) #hash((#<representation binary64> . (384 *.f64 676 554)) (#<representation binary32> . (+inf.0 pow.f32 135 69))) #hash((#<representation binary64> . (6592 *.f64 491 69)) (#<representation binary32> . (+inf.0 *.f32 491 69))) #hash((#<representation binary64> . (6528 pow.f64 1027 7)) (#<representation binary32> . (+inf.0 pow.f32 1027 7))) #hash((#<representation binary64> . (128 /.f64 186 0)) (#<representation binary32> . (+inf.0 /.f32 186 0))) #hash((#<representation binary64> . (192 /.f64 1029 3)) (#<representation binary32> . (+inf.0 /.f32 1029 3))) #hash((#<representation binary64> . (128 /.f64 112 0)) (#<representation binary32> . (+inf.0 pow.f32 982 4))) #hash((#<representation binary64> . (320 *.f64 2 368)) (#<representation binary32> . (+inf.0 *.f32 2 368))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 *.f64 1033 143)) (#<representation binary32> . (+inf.0 *.f32 1033 143))) #hash((#<representation binary64> . (6592 log.f64 1655)) (#<representation binary32> . (+inf.0 log.f32 1655))) #hash((#<representation binary64> . (6848 *.f64 177 804)) (#<representation binary32> . (+inf.0 *.f32 177 804))) #hash((#<representation binary64> . (13184 pow.f64 780 3)) (#<representation binary32> . (+inf.0 pow.f32 780 3))) #hash((#<representation binary64> . (6720 *.f64 718 4)) (#<representation binary32> . (+inf.0 *.f32 718 4))) #hash((#<representation binary64> . (12864 pow.f64 16 69)) (#<representation binary32> . (+inf.0 pow.f32 16 69))) #hash((#<representation binary64> . (6848 *.f64 238 804)) (#<representation binary32> . (+inf.0 *.f32 238 804))) #hash((#<representation binary64> . (256 /.f64 126 62)) (#<representation binary32> . (+inf.0 /.f32 126 62))) #hash((#<representation binary64> . (19776 +.f64 1 1041)) (#<representation binary32> . (+inf.0 +.f32 1 1041))) #hash((#<representation binary64> . (19712 +.f64 1081 1990)) (#<representation binary32> . (+inf.0 +.f32 1081 1990))) #hash((#<representation binary64> . (13184 pow.f64 1043 4)) (#<representation binary32> . (+inf.0 pow.f32 1043 4))) #hash((#<representation binary64> . (6784 /.f64 9 718)) (#<representation binary32> . (+inf.0 /.f32 9 718))) #hash((#<representation binary64> . (320 /.f64 79 1093)) (#<representation binary32> . (+inf.0 /.f32 79 1093))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 391 4)) (#<representation binary32> . (+inf.0 pow.f32 391 4))) #hash((#<representation binary64> . (6528 *.f64 96 69)) (#<representation binary32> . (+inf.0 *.f32 96 69))) #hash((#<representation binary64> . (6528 *.f64 69 96)) (#<representation binary32> . (+inf.0 *.f32 69 96))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 562 3)) (#<representation binary32> . (+inf.0 pow.f32 562 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 2 466)) (#<representation binary32> . (+inf.0 *.f32 2 466))) #hash((#<representation binary64> . (6848 pow.f64 1061 4)) (#<representation binary32> . (+inf.0 pow.f32 1061 4))) #hash((#<representation binary64> . (448 /.f64 135 941)) (#<representation binary32> . (+inf.0 /.f32 135 941))) #hash((#<representation binary64> . (6912 /.f64 803 89)) (#<representation binary32> . (+inf.0 /.f32 803 89))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (256 *.f64 424 3)) (#<representation binary32> . (+inf.0 *.f32 424 3))) #hash((#<representation binary64> . (6784 *.f64 205 4)) (#<representation binary32> . (+inf.0 *.f32 205 4))) #hash((#<representation binary64> . (12928 *.f64 54 62)) (#<representation binary32> . (+inf.0 *.f32 54 62))) #hash((#<representation binary64> . (6720 *.f64 69 804)) (#<representation binary32> . (+inf.0 *.f32 69 804))) #hash((#<representation binary64> . (13184 pow.f64 1075 3)) (#<representation binary32> . (+inf.0 pow.f32 1075 3))) #hash((#<representation binary64> . (6784 /.f64 8 3)) (#<representation binary32> . (+inf.0 /.f32 8 3))) #hash((#<representation binary64> . (13056 pow.f64 1077 69)) (#<representation binary32> . (+inf.0 pow.f32 1077 69))) #hash((#<representation binary64> . (6656 *.f64 319 3)) (#<representation binary32> . (+inf.0 *.f32 319 3))) #hash((#<representation binary64> . (6656 pow.f64 1039 4)) (#<representation binary32> . (+inf.0 pow.f32 1039 4))) #hash((#<representation binary64> . (6592 pow.f64 1080 3)) (#<representation binary32> . (+inf.0 pow.f32 1080 3))) #hash((#<representation binary64> . (192 /.f64 365 69)) (#<representation binary32> . (+inf.0 /.f32 365 69))) #hash((#<representation binary64> . (12992 pow.f64 11 62)) (#<representation binary32> . (+inf.0 pow.f32 11 62))) #hash((#<representation binary64> . (320 /.f64 135 177)) (#<representation binary32> . (+inf.0 /.f32 135 177))) #hash((#<representation binary64> . (320 /.f64 69 778)) (#<representation binary32> . (+inf.0 /.f32 69 778))) #hash((#<representation binary64> . (6528 pow.f64 1085 4)) (#<representation binary32> . (+inf.0 pow.f32 1085 4))) #hash((#<representation binary64> . (128 /.f64 9 324)) (#<representation binary32> . (+inf.0 /.f32 9 324))) #hash((#<representation binary64> . (128 +.f64 1 0)) (#<representation binary32> . (+inf.0 +.f32 1 0))) #hash((#<representation binary64> . (320 /.f64 470 166)) (#<representation binary32> . (+inf.0 /.f32 470 166))) #hash((#<representation binary64> . (384 /.f64 126 365)) (#<representation binary32> . (+inf.0 /.f32 126 365))) #hash((#<representation binary64> . (448 /.f64 308 135)) (#<representation binary32> . (+inf.0 /.f32 308 135))) #hash((#<representation binary64> . (448 /.f64 203 166)) (#<representation binary32> . (+inf.0 /.f32 203 166))) #hash((#<representation binary64> . (192 /.f64 88 135)) (#<representation binary32> . (+inf.0 /.f32 88 135))) #hash((#<representation binary64> . (192 /.f64 69 166)) (#<representation binary32> . (+inf.0 /.f32 69 166))) #hash((#<representation binary64> . (256 /.f64 971 15)) (#<representation binary32> . (+inf.0 pow.f32 211 4))) #hash((#<representation binary64> . (320 /.f64 308 62)) (#<representation binary32> . (+inf.0 /.f32 308 62))) #hash((#<representation binary64> . (320 /.f64 203 79)) (#<representation binary32> . (+inf.0 /.f32 203 79))) #hash((#<representation binary64> . (192 /.f64 69 365)) (#<representation binary32> . (+inf.0 /.f32 69 365))) #hash((#<representation binary64> . (320 /.f64 177 166)) (#<representation binary32> . (+inf.0 /.f32 177 166))) #hash((#<representation binary64> . (448 /.f64 203 365)) (#<representation binary32> . (+inf.0 /.f32 203 365))) #hash((#<representation binary64> . (384 /.f64 0 932)) (#<representation binary32> . (+inf.0 pow.f32 940 4))) #hash((#t . (0 . -3/2))) #hash((#<representation binary64> . (192 /.f64 470 79)) (#<representation binary32> . (+inf.0 /.f32 470 79))) #hash((#<representation binary64> . (320 /.f64 470 365)) (#<representation binary32> . (+inf.0 /.f32 470 365))) #hash((#<representation binary64> . (320 /.f64 982 166)) (#<representation binary32> . (+inf.0 /.f32 982 166))) #hash((#<representation binary64> . (384 /.f64 126 166)) (#<representation binary32> . (+inf.0 /.f32 126 166))) #hash((#<representation binary64> . (320 /.f64 69 925)) (#<representation binary32> . (+inf.0 /.f32 69 925))) #hash((#<representation binary64> . (320 /.f64 0 562)) (#<representation binary32> . (+inf.0 /.f32 0 562))) #hash((#<representation binary64> . (256 /.f64 0 365)) (#<representation binary32> . (+inf.0 /.f32 0 365))) #hash((#<representation binary64> . (192 /.f64 470 62)) (#<representation binary32> . (+inf.0 /.f32 470 62))) #hash((#<representation binary64> . (128 /.f64 0 4)) (#<representation binary32> . (+inf.0 /.f32 0 4))) #hash((#<representation binary64> . (320 /.f64 470 135)) (#<representation binary32> . (+inf.0 /.f32 470 135))) #hash((#<representation binary64> . (256 /.f64 236 89)) (#<representation binary32> . (+inf.0 /.f32 236 89))) #hash((#<representation binary64> . (192 /.f64 177 79)) (#<representation binary32> . (+inf.0 /.f32 177 79))) #hash((#<representation binary64> . (192 /.f64 236 62)) (#<representation binary32> . (+inf.0 /.f32 236 62))) #hash((#<representation binary64> . (320 /.f64 177 365)) (#<representation binary32> . (+inf.0 /.f32 177 365))) #hash((#<representation binary64> . (256 /.f64 234 89)) (#<representation binary32> . (+inf.0 /.f32 234 89))) #hash((#<representation binary64> . (192 /.f64 982 79)) (#<representation binary32> . (+inf.0 /.f32 982 79))) #hash((#<representation binary64> . (192 /.f64 234 62)) (#<representation binary32> . (+inf.0 /.f32 234 62))) #hash((#<representation binary64> . (320 /.f64 982 365)) (#<representation binary32> . (+inf.0 /.f32 982 365))) #hash((#<representation binary64> . (128 /.f64 971 89)) (#<representation binary32> . (+inf.0 /.f32 971 89))) #hash((#<representation binary64> . (256 /.f64 126 79)) (#<representation binary32> . (+inf.0 /.f32 126 79))) #hash((#<representation binary64> . (320 /.f64 203 4)) (#<representation binary32> . (+inf.0 /.f32 203 4))) #hash((#t . (0 . -1/9))) #hash((#<representation binary64> . (384 /.f64 126 135)) (#<representation binary32> . (+inf.0 /.f32 126 135))) #hash((#<representation binary64> . (128 /.f64 0 79)) (#<representation binary32> . (+inf.0 /.f32 0 79))) #hash((#<representation binary64> . (256 /.f64 470 89)) (#<representation binary32> . (+inf.0 /.f32 470 89))) #hash((#<representation binary64> . (320 /.f64 236 365)) (#<representation binary32> . (+inf.0 /.f32 236 365))) #hash((#<representation binary64> . (192 /.f64 236 4)) (#<representation binary32> . (+inf.0 /.f32 236 4))) #hash((#<representation binary64> . (320 /.f64 3 778)) (#<representation binary32> . (+inf.0 pow.f32 778 4))) #hash((#<representation binary64> . (192 /.f64 236 79)) (#<representation binary32> . (+inf.0 /.f32 236 79))) #hash((#<representation binary64> . (320 /.f64 234 365)) (#<representation binary32> . (+inf.0 /.f32 234 365))) #hash((#<representation binary64> . (192 /.f64 982 62)) (#<representation binary32> . (+inf.0 /.f32 982 62))) #hash((#<representation binary64> . (192 /.f64 234 4)) (#<representation binary32> . (+inf.0 /.f32 234 4))) #hash((#<representation binary64> . (320 /.f64 982 135)) (#<representation binary32> . (+inf.0 /.f32 982 135))) #hash((#<representation binary64> . (192 /.f64 234 79)) (#<representation binary32> . (+inf.0 /.f32 234 79))) #hash((#<representation binary64> . (256 /.f64 982 89)) (#<representation binary32> . (+inf.0 /.f32 982 89))) #hash((#<representation binary64> . (192 /.f64 971 365)) (#<representation binary32> . (+inf.0 /.f32 971 365))) #hash((#<representation binary64> . (448 /.f64 1010 88)) (#<representation binary32> . (+inf.0 /.f32 1010 88))) #hash((#<representation binary64> . (320 *.f64 166 185)) (#<representation binary32> . (+inf.0 *.f32 166 185))) #hash((#<representation binary64> . (192 *.f64 166 112)) (#<representation binary32> . (+inf.0 *.f32 166 112))) #hash((#<representation binary64> . (256 *.f64 166 9)) (#<representation binary32> . (+inf.0 *.f32 166 9))) #hash((#<representation binary64> . (320 /.f64 1093 79)) (#<representation binary32> . (+inf.0 /.f32 1093 79))) #hash((#<representation binary64> . (320 /.f64 826 62)) (#<representation binary32> . (+inf.0 /.f32 826 62))) #hash((#<representation binary64> . (320 /.f64 1093 4)) (#<representation binary32> . (+inf.0 /.f32 1093 4))) #hash((#<representation binary64> . (448 *.f64 211 166)) (#<representation binary32> . (+inf.0 *.f32 211 166))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . -1/4))) #hash((#<representation binary64> . (12928 pow.f64 1148 69)) (#<representation binary32> . (+inf.0 pow.f32 1148 69))) #hash((#<representation binary64> . (6528 /.f64 16 4)) (#<representation binary32> . (+inf.0 /.f32 16 4))) #hash((#<representation binary64> . (384 *.f64 126 310)) (#<representation binary32> . (+inf.0 *.f32 126 310))) #hash((#<representation binary64> . (19776 neg.f64 104)) (#<representation binary32> . (+inf.0 neg.f32 104))) #hash((#<representation binary64> . (448 /.f64 969 3)) (#<representation binary32> . (+inf.0 /.f32 969 3))) #hash((#<representation binary64> . (6656 *.f64 177 16)) (#<representation binary32> . (+inf.0 *.f32 177 16))) #hash((#<representation binary64> . (6656 *.f64 110 16)) (#<representation binary32> . (+inf.0 *.f32 110 16))) #hash((#<representation binary64> . (6528 *.f64 178 16)) (#<representation binary32> . (+inf.0 *.f32 178 16))) #hash((#<representation binary64> . (6784 *.f64 203 96)) (#<representation binary32> . (+inf.0 *.f32 203 96))) #hash((#<representation binary64> . (6656 *.f64 982 16)) (#<representation binary32> . (+inf.0 *.f32 982 16))) #hash((#<representation binary64> . (13312 +.f64 546 205)) (#<representation binary32> . (+inf.0 +.f32 546 205))) #hash((#<representation binary64> . (13312 +.f64 205 546)) (#<representation binary32> . (+inf.0 +.f32 205 546))) #hash((#<representation binary64> . (192 neg.f64 387)) (#<representation binary32> . (+inf.0 neg.f32 387))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 5))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (256 *.f64 135 9)) (#<representation binary32> . (+inf.0 *.f32 135 9))) #hash((#<representation binary64> . (320 neg.f64 257)) (#<representation binary32> . (+inf.0 neg.f32 257))) #hash((#<representation binary64> . (6592 pow.f64 1166 4)) (#<representation binary32> . (+inf.0 pow.f32 1166 4))) #hash((#<representation binary64> . (192 /.f64 135 4)) (#<representation binary32> . (+inf.0 /.f32 135 4))) #hash((#<representation binary64> . (6656 /.f64 82 9)) (#<representation binary32> . (+inf.0 /.f32 82 9))) #hash((#<representation binary64> . (6592 log.f64 1169)) (#<representation binary32> . (+inf.0 log.f32 1169))) #hash((#<representation binary64> . (192 /.f64 112 2)) (#<representation binary32> . (+inf.0 /.f32 112 2))) #hash((#<representation binary64> . (6592 *.f64 964 62)) (#<representation binary32> . (+inf.0 *.f32 964 62))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 *.f64 470 3)) (#<representation binary32> . (+inf.0 *.f32 470 3))) #hash((#<representation binary64> . (13248 pow.f64 1174 3)) (#<representation binary32> . (+inf.0 pow.f32 1174 3))) #hash((#<representation binary64> . (6848 *.f64 93 4)) (#<representation binary32> . (+inf.0 *.f32 93 4))) #hash((#<representation binary64> . (12992 pow.f64 319 69)) (#<representation binary32> . (+inf.0 pow.f32 319 69))) #hash((#<representation binary64> . (13248 pow.f64 1177 4)) (#<representation binary32> . (+inf.0 pow.f32 1177 4))) #hash((#<representation binary64> . (6848 /.f64 3 1593)) (#<representation binary32> . (+inf.0 pow.f32 1593 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 +.f64 1 11)) (#<representation binary32> . (+inf.0 +.f32 1 11))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (128 /.f64 89 178)) (#<representation binary32> . (+inf.0 /.f32 89 178))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (26112 pow.f64 298 69)) (#<representation binary32> . (+inf.0 pow.f32 298 69))) #hash((#<representation binary64> . (192 neg.f64 1029)) (#<representation binary32> . (+inf.0 neg.f32 1029))) #hash((#<representation binary64> . (6976 /.f64 1200 135)) (#<representation binary32> . (+inf.0 /.f32 1200 135))) #hash((#<representation binary64> . (6784 *.f64 16 826)) (#<representation binary32> . (+inf.0 /.f32 131 185))) #hash((#<representation binary64> . (6528 *.f64 16 4)) (#<representation binary32> . (+inf.0 *.f32 16 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6784 pow.f64 1204 4)) (#<representation binary32> . (+inf.0 pow.f32 1204 4))) #hash((#<representation binary64> . (384 /.f64 135 126)) (#<representation binary32> . (+inf.0 /.f32 135 126))) #hash((#<representation binary64> . (19712 pow.f64 361 459)) (#<representation binary32> . (+inf.0 pow.f32 361 459))) #hash((#<representation binary64> . (26112 pow.f64 2322 69)) (#<representation binary32> . (+inf.0 pow.f32 2322 69))) #hash((#<representation binary64> . (26176 *.f64 2069 69)) (#<representation binary32> . (+inf.0 *.f32 2069 69))) #hash((#<representation binary64> . (6656 pow.f64 820 7)) (#<representation binary32> . (+inf.0 pow.f32 820 7))) #hash((#<representation binary64> . (192 /.f64 135 88)) (#<representation binary32> . (+inf.0 /.f32 135 88))) #hash((#<representation binary64> . (6912 *.f64 448 4)) (#<representation binary32> . (+inf.0 *.f32 448 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 453 443)) (#<representation binary32> . (+inf.0 *.f32 453 443))) #hash((#<representation binary64> . (6656 pow.f64 261 3)) (#<representation binary32> . (+inf.0 pow.f32 261 3))) #hash((#<representation binary64> . (6720 pow.f64 1217 3)) (#<representation binary32> . (+inf.0 pow.f32 1217 3))) #hash((#<representation binary64> . (320 /.f64 79 203)) (#<representation binary32> . (+inf.0 /.f32 79 203))) #hash((#<representation binary64> . (6784 *.f64 1 417)) (#<representation binary32> . (+inf.0 *.f32 1 417))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6784 +.f64 1 417)) (#<representation binary32> . (+inf.0 +.f32 1 417))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 466 549)) (#<representation binary32> . (+inf.0 *.f32 466 549))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13120 pow.f64 1225 7)) (#<representation binary32> . (+inf.0 pow.f32 1225 7))) #hash((#<representation binary64> . (6720 *.f64 10 9)) (#<representation binary32> . (+inf.0 *.f32 10 9))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (256 /.f64 479 0)) (#<representation binary32> . (+inf.0 pow.f32 503 4))) #hash((#<representation binary64> . (320 /.f64 479 982)) (#<representation binary32> . (+inf.0 /.f32 479 982))) #hash((#<representation binary64> . (448 neg.f64 1010)) (#<representation binary32> . (+inf.0 neg.f32 1010))) #hash((#<representation binary64> . (6720 pow.f64 1232 4)) (#<representation binary32> . (+inf.0 pow.f32 1232 4))) #hash((#<representation binary64> . (320 /.f64 135 2)) (#<representation binary32> . (+inf.0 /.f32 135 2))) #hash((#<representation binary64> . (6848 pow.f64 263 3)) (#<representation binary32> . (+inf.0 pow.f32 263 3))) #hash((#<representation binary64> . (6656 /.f64 96 182)) (#<representation binary32> . (+inf.0 /.f32 96 182))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (384 /.f64 89 257)) (#<representation binary32> . (+inf.0 /.f32 89 257))) #hash((#<representation binary64> . (6656 pow.f64 942 7)) (#<representation binary32> . (+inf.0 pow.f32 942 7))) #hash((#<representation binary64> . (6656 /.f64 4 11)) (#<representation binary32> . (+inf.0 /.f32 4 11))) #hash((#<representation binary64> . (320 *.f64 941 224)) (#<representation binary32> . (+inf.0 *.f32 941 224))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 /.f64 1 2)) (#<representation binary32> . (+inf.0 /.f32 1 2))) #hash((#<representation binary64> . (192 /.f64 135 971)) (#<representation binary32> . (+inf.0 /.f32 135 971))) #hash((#<representation binary64> . (6528 pow.f64 343 4)) (#<representation binary32> . (+inf.0 pow.f32 343 4))) #hash((#<representation binary64> . (13120 pow.f64 417 69)) (#<representation binary32> . (+inf.0 pow.f32 417 69))) #hash((#<representation binary64> . (13184 pow.f64 420 69)) (#<representation binary32> . (+inf.0 pow.f32 420 69))) #hash((#<representation binary64> . (13120 pow.f64 417 62)) (#<representation binary32> . (+inf.0 pow.f32 417 62))) #hash((#<representation binary64> . (12992 pow.f64 11 69)) (#<representation binary32> . (+inf.0 *.f32 990 1037))) #hash((#<representation binary64> . (6528 pow.f64 421 69)) (#<representation binary32> . (+inf.0 pow.f32 421 69))) #hash((#<representation binary64> . (6528 pow.f64 2 69)) (#<representation binary32> . (+inf.0 pow.f32 2 69))) #hash((#<representation binary64> . (13056 pow.f64 66 69)) (#<representation binary32> . (+inf.0 pow.f32 66 69))) #hash((#<representation binary64> . (6592 pow.f64 424 69)) (#<representation binary32> . (+inf.0 pow.f32 424 69))) #hash((#<representation binary64> . (6656 pow.f64 1070 69)) (#<representation binary32> . (+inf.0 pow.f32 1070 69))) #hash((#<representation binary64> . (6720 pow.f64 1030 69)) (#<representation binary32> . (+inf.0 pow.f32 1030 69))) #hash((#<representation binary64> . (13056 pow.f64 14 69)) (#<representation binary32> . (+inf.0 pow.f32 14 69))) #hash((#<representation binary64> . (12928 pow.f64 82 69)) (#<representation binary32> . (+inf.0 pow.f32 82 69))) #hash((#<representation binary64> . (6656 pow.f64 1107 69)) (#<representation binary32> . (+inf.0 pow.f32 1107 69))) #hash((#<representation binary64> . (6656 pow.f64 137 69)) (#<representation binary32> . (+inf.0 pow.f32 137 69))) #hash((#<representation binary64> . (12864 pow.f64 96 69)) (#<representation binary32> . (+inf.0 pow.f32 96 69))) #hash((#<representation binary64> . (13120 pow.f64 1602 69)) (#<representation binary32> . (+inf.0 pow.f32 1602 69))) #hash((#<representation binary64> . (6528 pow.f64 1109 69)) (#<representation binary32> . (+inf.0 pow.f32 1109 69))) #hash((#<representation binary64> . (6656 pow.f64 454 69)) (#<representation binary32> . (+inf.0 pow.f32 454 69))) #hash((#<representation binary64> . (12992 pow.f64 665 69)) (#<representation binary32> . (+inf.0 pow.f32 665 69))) #hash((#<representation binary64> . (19520 pow.f64 1603 69)) (#<representation binary32> . (+inf.0 pow.f32 1603 69))) #hash((#<representation binary64> . (13184 *.f64 35 69)) (#<representation binary32> . (+inf.0 *.f32 35 69))) #hash((#<representation binary64> . (13248 *.f64 475 69)) (#<representation binary32> . (+inf.0 *.f32 475 69))) #hash((#<representation binary64> . (6656 pow.f64 1115 4)) (#<representation binary32> . (+inf.0 pow.f32 1115 4))) #hash((#<representation binary64> . (12992 pow.f64 687 4)) (#<representation binary32> . (+inf.0 pow.f32 687 4))) #hash((#<representation binary64> . (192 /.f64 1 166)) (#<representation binary32> . (+inf.0 /.f32 1 166))) #hash((#<representation binary64> . (320 *.f64 177 310)) (#<representation binary32> . (+inf.0 *.f32 177 310))) #hash((#<representation binary64> . (320 *.f64 470 466)) (#<representation binary32> . (+inf.0 *.f32 470 466))) #hash((#<representation binary64> . (384 *.f64 686 213)) (#<representation binary32> . (+inf.0 *.f32 686 213))) #hash((#<representation binary64> . (384 *.f64 1128 69)) (#<representation binary32> . (+inf.0 *.f32 1128 69))) #hash((#<representation binary64> . (6720 pow.f64 1553 4)) (#<representation binary32> . (+inf.0 pow.f32 1553 4))) #hash((#<representation binary64> . (192 *.f64 88 465)) (#<representation binary32> . (+inf.0 *.f32 88 465))) #hash((#<representation binary64> . (192 *.f64 224 213)) (#<representation binary32> . (+inf.0 *.f32 224 213))) #hash((#<representation binary64> . (192 *.f64 213 224)) (#<representation binary32> . (+inf.0 *.f32 213 224))) #hash((#<representation binary64> . (320 *.f64 110 310)) (#<representation binary32> . (+inf.0 *.f32 110 310))) #hash((#<representation binary64> . (256 *.f64 169 424)) (#<representation binary32> . (+inf.0 pow.f32 1228 4))) #hash((#<representation binary64> . (6720 pow.f64 796 4)) (#<representation binary32> . (+inf.0 pow.f32 796 4))) #hash((#<representation binary64> . (320 /.f64 466 182)) (#<representation binary32> . (+inf.0 /.f32 466 182))) #hash((#<representation binary64> . (192 *.f64 178 310)) (#<representation binary32> . (+inf.0 *.f32 178 310))) #hash((#<representation binary64> . (192 *.f64 69 465)) (#<representation binary32> . (+inf.0 *.f32 69 465))) #hash((#<representation binary64> . (6592 pow.f64 1209 4)) (#<representation binary32> . (+inf.0 pow.f32 1209 4))) #hash((#<representation binary64> . (448 *.f64 203 465)) (#<representation binary32> . (+inf.0 *.f32 203 465))) #hash((#<representation binary64> . (6848 pow.f64 176 4)) (#<representation binary32> . (+inf.0 pow.f32 176 4))) #hash((#<representation binary64> . (6592 pow.f64 1595 4)) (#<representation binary32> . (+inf.0 pow.f32 1595 4))) #hash((#<representation binary64> . (6656 pow.f64 933 4)) (#<representation binary32> . (+inf.0 pow.f32 933 4))) #hash((#<representation binary64> . (320 *.f64 982 466)) (#<representation binary32> . (+inf.0 *.f32 982 466))) #hash((#<representation binary64> . (384 *.f64 126 466)) (#<representation binary32> . (+inf.0 *.f32 126 466))) #hash((#<representation binary64> . (6720 pow.f64 801 4)) (#<representation binary32> . (+inf.0 pow.f32 801 4))) #hash((#<representation binary64> . (6720 pow.f64 927 4)) (#<representation binary32> . (+inf.0 pow.f32 927 4))) #hash((#<representation binary64> . (192 /.f64 466 112)) (#<representation binary32> . (+inf.0 /.f32 466 112))) #hash((#<representation binary64> . (256 /.f64 466 9)) (#<representation binary32> . (+inf.0 /.f32 466 9))) #hash((#<representation binary64> . (6848 pow.f64 233 4)) (#<representation binary32> . (+inf.0 pow.f32 233 4))) #hash((#<representation binary64> . (6784 pow.f64 115 4)) (#<representation binary32> . (+inf.0 pow.f32 115 4))) #hash((#<representation binary64> . (6784 pow.f64 994 4)) (#<representation binary32> . (+inf.0 pow.f32 994 4))) #hash((#<representation binary64> . (320 /.f64 308 4)) (#<representation binary32> . (+inf.0 /.f32 308 4))) #hash((#<representation binary64> . (256 /.f64 0 135)) (#<representation binary32> . (+inf.0 /.f32 0 135))) #hash((#<representation binary64> . (320 *.f64 466 234)) (#<representation binary32> . (+inf.0 *.f32 466 234))) #hash((#<representation binary64> . (192 *.f64 466 971)) (#<representation binary32> . (+inf.0 *.f32 466 971))) #hash((#<representation binary64> . (6592 pow.f64 814 4)) (#<representation binary32> . (+inf.0 pow.f32 814 4))) #hash((#<representation binary64> . (6528 pow.f64 129 4)) (#<representation binary32> . (+inf.0 pow.f32 129 4))) #hash((#<representation binary64> . (6720 pow.f64 1044 4)) (#<representation binary32> . (+inf.0 pow.f32 1044 4))) #hash((#<representation binary64> . (6656 pow.f64 1503 4)) (#<representation binary32> . (+inf.0 pow.f32 1503 4))) #hash((#<representation binary64> . (6656 pow.f64 1448 4)) (#<representation binary32> . (+inf.0 pow.f32 1448 4))) #hash((#<representation binary64> . (6592 pow.f64 488 4)) (#<representation binary32> . (+inf.0 pow.f32 488 4))) #hash((#<representation binary64> . (6656 pow.f64 1555 4)) (#<representation binary32> . (+inf.0 pow.f32 1555 4))) #hash((#<representation binary64> . (6592 pow.f64 726 4)) (#<representation binary32> . (+inf.0 pow.f32 726 4))) #hash((#<representation binary64> . (6656 pow.f64 2241 4)) (#<representation binary32> . (+inf.0 pow.f32 2241 4))) #hash((#<representation binary64> . (6720 pow.f64 1217 4)) (#<representation binary32> . (+inf.0 pow.f32 1217 4))) #hash((#<representation binary64> . (6592 pow.f64 1080 4)) (#<representation binary32> . (+inf.0 pow.f32 1080 4))) #hash((#<representation binary64> . (6592 pow.f64 1667 4)) (#<representation binary32> . (+inf.0 pow.f32 1667 4))) #hash((#<representation binary64> . (6784 pow.f64 664 4)) (#<representation binary32> . (+inf.0 pow.f32 664 4))) #hash((#<representation binary64> . (6720 pow.f64 1814 4)) (#<representation binary32> . (+inf.0 pow.f32 1814 4))) #hash((#<representation binary64> . (6592 pow.f64 1662 4)) (#<representation binary32> . (+inf.0 pow.f32 1662 4))) #hash((#<representation binary64> . (6720 pow.f64 1614 4)) (#<representation binary32> . (+inf.0 pow.f32 1614 4))) #hash((#<representation binary64> . (6784 pow.f64 1547 4)) (#<representation binary32> . (+inf.0 pow.f32 1547 4))) #hash((#<representation binary64> . (6720 pow.f64 1664 4)) (#<representation binary32> . (+inf.0 pow.f32 1664 4))) #hash((#<representation binary64> . (6848 pow.f64 1616 4)) (#<representation binary32> . (+inf.0 pow.f32 1616 4))) #hash((#<representation binary64> . (6720 pow.f64 1580 4)) (#<representation binary32> . (+inf.0 pow.f32 1580 4))) #hash((#<representation binary64> . (6848 pow.f64 228 4)) (#<representation binary32> . (+inf.0 pow.f32 228 4))) #hash((#<representation binary64> . (6720 pow.f64 1514 4)) (#<representation binary32> . (+inf.0 pow.f32 1514 4))) #hash((#<representation binary64> . (6592 pow.f64 1475 4)) (#<representation binary32> . (+inf.0 pow.f32 1475 4))) #hash((#<representation binary64> . (6848 pow.f64 1434 4)) (#<representation binary32> . (+inf.0 pow.f32 1434 4))) #hash((#<representation binary64> . (6720 pow.f64 1229 4)) (#<representation binary32> . (+inf.0 pow.f32 1229 4))) #hash((#<representation binary64> . (320 *.f64 453 446)) (#<representation binary32> . (+inf.0 *.f32 453 446))) #hash((#<representation binary64> . (320 *.f64 446 453)) (#<representation binary32> . (+inf.0 *.f32 446 453))) #hash((#<representation binary64> . (384 *.f64 925 89)) (#<representation binary32> . (+inf.0 *.f32 925 89))) #hash((#<representation binary64> . (192 *.f64 453 62)) (#<representation binary32> . (+inf.0 *.f32 453 62))) #hash((#<representation binary64> . (448 /.f64 89 1105)) (#<representation binary32> . (+inf.0 /.f32 89 1105))) #hash((#<representation binary64> . (448 /.f64 182 503)) (#<representation binary32> . (+inf.0 /.f32 182 503))) #hash((#<representation binary64> . (384 *.f64 211 89)) (#<representation binary32> . (+inf.0 *.f32 211 89))) #hash((#<representation binary64> . (320 *.f64 211 62)) (#<representation binary32> . (+inf.0 *.f32 211 62))) #hash((#<representation binary64> . (320 *.f64 185 166)) (#<representation binary32> . (+inf.0 *.f32 185 166))) #hash((#<representation binary64> . (192 *.f64 453 301)) (#<representation binary32> . (+inf.0 *.f32 453 301))) #hash((#<representation binary64> . (192 *.f64 453 79)) (#<representation binary32> . (+inf.0 *.f32 453 79))) #hash((#<representation binary64> . (320 *.f64 446 365)) (#<representation binary32> . (+inf.0 *.f32 446 365))) #hash((#<representation binary64> . (256 *.f64 443 89)) (#<representation binary32> . (+inf.0 *.f32 443 89))) #hash((#<representation binary64> . (448 *.f64 99 135)) (#<representation binary32> . (+inf.0 *.f32 99 135))) #hash((#<representation binary64> . (448 *.f64 365 925)) (#<representation binary32> . (+inf.0 *.f32 365 925))) #hash((#<representation binary64> . (448 *.f64 925 365)) (#<representation binary32> . (+inf.0 *.f32 925 365))) #hash((#<representation binary64> . (384 *.f64 167 89)) (#<representation binary32> . (+inf.0 *.f32 167 89))) #hash((#<representation binary64> . (128 *.f64 301 89)) (#<representation binary32> . (+inf.0 *.f32 301 89))) #hash((#<representation binary64> . (192 *.f64 2 3)) (#<representation binary32> . (+inf.0 *.f32 2 3))) #hash((#<representation binary64> . (320 *.f64 443 453)) (#<representation binary32> . (+inf.0 *.f32 443 453))) #hash((#<representation binary64> . (320 *.f64 941 69)) (#<representation binary32> . (+inf.0 *.f32 941 69))) #hash((#<representation binary64> . (192 *.f64 186 135)) (#<representation binary32> . (+inf.0 *.f32 186 135))) #hash((#<representation binary64> . (192 *.f64 982 69)) (#<representation binary32> . (+inf.0 *.f32 982 69))) #hash((#<representation binary64> . (256 *.f64 9 135)) (#<representation binary32> . (+inf.0 *.f32 9 135))) #hash((#<representation binary64> . (192 *.f64 236 224)) (#<representation binary32> . (+inf.0 *.f32 236 224))) #hash((#<representation binary64> . (320 *.f64 236 421)) (#<representation binary32> . (+inf.0 *.f32 236 421))) #hash((#<representation binary64> . (192 *.f64 236 4)) (#<representation binary32> . (+inf.0 *.f32 236 4))) #hash((#<representation binary64> . (320 *.f64 182 166)) (#<representation binary32> . (+inf.0 *.f32 182 166))) #hash((#<representation binary64> . (192 *.f64 238 3)) (#<representation binary32> . (+inf.0 *.f32 238 3))) #hash((#<representation binary64> . (192 *.f64 238 224)) (#<representation binary32> . (+inf.0 *.f32 238 224))) #hash((#<representation binary64> . (256 *.f64 185 89)) (#<representation binary32> . (+inf.0 *.f32 185 89))) #hash((#<representation binary64> . (320 *.f64 238 421)) (#<representation binary32> . (+inf.0 *.f32 238 421))) #hash((#<representation binary64> . (192 *.f64 238 4)) (#<representation binary32> . (+inf.0 *.f32 238 4))) #hash((#<representation binary64> . (320 *.f64 113 3)) (#<representation binary32> . (+inf.0 *.f32 113 3))) #hash((#<representation binary64> . (320 *.f64 113 224)) (#<representation binary32> . (+inf.0 *.f32 113 224))) #hash((#<representation binary64> . (128 *.f64 112 89)) (#<representation binary32> . (+inf.0 *.f32 112 89))) #hash((#<representation binary64> . (448 *.f64 113 421)) (#<representation binary32> . (+inf.0 *.f32 113 421))) #hash((#<representation binary64> . (192 *.f64 112 166)) (#<representation binary32> . (+inf.0 *.f32 112 166))) #hash((#<representation binary64> . (192 *.f64 549 3)) (#<representation binary32> . (+inf.0 *.f32 549 3))) #hash((#<representation binary64> . (192 *.f64 549 224)) (#<representation binary32> . (+inf.0 *.f32 549 224))) #hash((#<representation binary64> . (320 *.f64 549 421)) (#<representation binary32> . (+inf.0 *.f32 549 421))) #hash((#<representation binary64> . (256 *.f64 9 166)) (#<representation binary32> . (+inf.0 *.f32 9 166))) #hash((#<representation binary64> . (192 *.f64 3 2)) (#<representation binary32> . (+inf.0 *.f32 3 2))) #hash((#<representation binary64> . (192 *.f64 88 2)) (#<representation binary32> . (+inf.0 *.f32 88 2))) #hash((#<representation binary64> . (320 *.f64 365 443)) (#<representation binary32> . (+inf.0 *.f32 365 443))) #hash((#<representation binary64> . (256 *.f64 88 126)) (#<representation binary32> . (+inf.0 *.f32 88 126))) #hash((#<representation binary64> . (192 *.f64 2 88)) (#<representation binary32> . (+inf.0 *.f32 2 88))) #hash((#<representation binary64> . (320 *.f64 443 365)) (#<representation binary32> . (+inf.0 *.f32 443 365))) #hash((#<representation binary64> . (256 *.f64 126 3)) (#<representation binary32> . (+inf.0 *.f32 126 3))) #hash((#<representation binary64> . (192 *.f64 301 365)) (#<representation binary32> . (+inf.0 *.f32 301 365))) #hash((#<representation binary64> . (192 *.f64 79 453)) (#<representation binary32> . (+inf.0 *.f32 79 453))) #hash((#<representation binary64> . (192 *.f64 3 238)) (#<representation binary32> . (+inf.0 *.f32 3 238))) #hash((#<representation binary64> . (320 *.f64 3 113)) (#<representation binary32> . (+inf.0 *.f32 3 113))) #hash((#<representation binary64> . (192 *.f64 3 549)) (#<representation binary32> . (+inf.0 *.f32 3 549))) #hash((#<representation binary64> . (192 *.f64 224 236)) (#<representation binary32> . (+inf.0 *.f32 224 236))) #hash((#<representation binary64> . (192 *.f64 224 238)) (#<representation binary32> . (+inf.0 *.f32 224 238))) #hash((#<representation binary64> . (256 *.f64 89 185)) (#<representation binary32> . (+inf.0 *.f32 89 185))) #hash((#<representation binary64> . (320 *.f64 224 113)) (#<representation binary32> . (+inf.0 *.f32 224 113))) #hash((#<representation binary64> . (128 *.f64 89 112)) (#<representation binary32> . (+inf.0 *.f32 89 112))) #hash((#<representation binary64> . (192 *.f64 224 549)) (#<representation binary32> . (+inf.0 *.f32 224 549))) #hash((#<representation binary64> . (320 *.f64 421 236)) (#<representation binary32> . (+inf.0 *.f32 421 236))) #hash((#<representation binary64> . (320 *.f64 421 238)) (#<representation binary32> . (+inf.0 *.f32 421 238))) #hash((#<representation binary64> . (448 *.f64 421 113)) (#<representation binary32> . (+inf.0 *.f32 421 113))) #hash((#<representation binary64> . (320 *.f64 421 549)) (#<representation binary32> . (+inf.0 *.f32 421 549))) #hash((#<representation binary64> . (192 *.f64 4 238)) (#<representation binary32> . (+inf.0 *.f32 4 238))) #hash((#<representation binary64> . (320 *.f64 4 113)) (#<representation binary32> . (+inf.0 *.f32 4 113))) #hash((#<representation binary64> . (192 *.f64 4 549)) (#<representation binary32> . (+inf.0 *.f32 4 549))) #hash((#<representation binary64> . (384 neg.f64 1105)) (#<representation binary32> . (+inf.0 neg.f32 1105))) #hash((#<representation binary64> . (320 neg.f64 503)) (#<representation binary32> . (+inf.0 neg.f32 503))) #hash((#<representation binary64> . (448 *.f64 213 308)) (#<representation binary32> . (+inf.0 *.f32 213 308))) #hash((#<representation binary64> . (192 *.f64 213 3)) (#<representation binary32> . (+inf.0 *.f32 213 3))) #hash((#<representation binary64> . (320 *.f64 213 2)) (#<representation binary32> . (+inf.0 *.f32 213 2))) #hash((#<representation binary64> . (384 *.f64 213 126)) (#<representation binary32> . (+inf.0 *.f32 213 126))) #hash((#<representation binary64> . (256 *.f64 0 213)) (#<representation binary32> . (+inf.0 *.f32 0 213))) #hash((#<representation binary64> . (448 *.f64 3 229)) (#<representation binary32> . (+inf.0 *.f32 3 229))) #hash((#<representation binary64> . (384 *.f64 3 1105)) (#<representation binary32> . (+inf.0 *.f32 3 1105))) #hash((#<representation binary64> . (320 *.f64 3 503)) (#<representation binary32> . (+inf.0 *.f32 3 503))) #hash((#<representation binary64> . (320 *.f64 826 3)) (#<representation binary32> . (+inf.0 *.f32 826 3))) #hash((#<representation binary64> . (320 *.f64 257 3)) (#<representation binary32> . (+inf.0 *.f32 257 3))) #hash((#<representation binary64> . (320 *.f64 257 88)) (#<representation binary32> . (+inf.0 *.f32 257 88))) #hash((#<representation binary64> . (320 *.f64 466 238)) (#<representation binary32> . (+inf.0 *.f32 466 238))) #hash((#<representation binary64> . (448 *.f64 466 113)) (#<representation binary32> . (+inf.0 *.f32 466 113))) #hash((#<representation binary64> . (192 *.f64 3 310)) (#<representation binary32> . (+inf.0 *.f32 3 310))) #hash((#<representation binary64> . (320 *.f64 2 310)) (#<representation binary32> . (+inf.0 *.f32 2 310))) #hash((#<representation binary64> . (192 *.f64 4 310)) (#<representation binary32> . (+inf.0 *.f32 4 310))) #hash((#<representation binary64> . (448 *.f64 941 310)) (#<representation binary32> . (+inf.0 *.f32 941 310))) #hash((#<representation binary64> . (320 *.f64 238 466)) (#<representation binary32> . (+inf.0 *.f32 238 466))) #hash((#<representation binary64> . (320 *.f64 549 466)) (#<representation binary32> . (+inf.0 *.f32 549 466))) #hash((#<representation binary64> . (320 *.f64 238 465)) (#<representation binary32> . (+inf.0 *.f32 238 465))) #hash((#<representation binary64> . (320 *.f64 88 257)) (#<representation binary32> . (+inf.0 *.f32 88 257))) #hash((#<representation binary64> . (320 *.f64 2 213)) (#<representation binary32> . (+inf.0 *.f32 2 213))) #hash((#<representation binary64> . (320 *.f64 826 224)) (#<representation binary32> . (+inf.0 *.f32 826 224))) #hash((#<representation binary64> . (384 /.f64 503 9)) (#<representation binary32> . (+inf.0 /.f32 503 9))) #hash((#<representation binary64> . (832 *.f64 658 658)) (#<representation binary32> . (+inf.0 *.f32 658 658))) #hash((#<representation binary64> . (448 *.f64 3 77)) (#<representation binary32> . (+inf.0 *.f32 3 77))) #hash((#<representation binary64> . (448 /.f64 4 658)) (#<representation binary32> . (+inf.0 /.f32 4 658))) #hash((#<representation binary64> . (192 /.f64 3 387)) (#<representation binary32> . (+inf.0 pow.f32 0 3))) #hash((#<representation binary64> . (6592 *.f64 1671 4)) (#<representation binary32> . (+inf.0 *.f32 1671 4))) #hash((#<representation binary64> . (320 +.f64 1 1093)) (#<representation binary32> . (+inf.0 +.f32 1 1093))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 *.f64 26 4)) (#<representation binary32> . (+inf.0 *.f32 26 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 *.f64 0 96)) (#<representation binary32> . (+inf.0 *.f32 0 96))) #hash((#<representation binary64> . (256 /.f64 89 177)) (#<representation binary32> . (+inf.0 /.f32 89 177))) #hash((#<representation binary64> . (256 /.f64 89 110)) (#<representation binary32> . (+inf.0 /.f32 89 110))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 pow.f64 1228 3)) (#<representation binary32> . (+inf.0 pow.f32 1228 3))) #hash((#<representation binary64> . (6848 pow.f64 1434 3)) (#<representation binary32> . (+inf.0 pow.f32 1434 3))) #hash((#<representation binary64> . (448 /.f64 479 941)) (#<representation binary32> . (+inf.0 /.f32 479 941))) #hash((#<representation binary64> . (13120 pow.f64 8 7)) (#<representation binary32> . (+inf.0 pow.f32 8 7))) #hash((#<representation binary64> . (6848 /.f64 62 904)) (#<representation binary32> . (+inf.0 /.f32 62 904))) #hash((#<representation binary64> . (13248 +.f64 188 1994)) (#<representation binary32> . (+inf.0 +.f32 188 1994))) #hash((#<representation binary64> . (26176 *.f64 1439 69)) (#<representation binary32> . (+inf.0 *.f32 1439 69))) #hash((#<representation binary64> . (26112 log.f64 337)) (#<representation binary32> . (+inf.0 log.f32 337))) #hash((#<representation binary64> . (192 *.f64 3 982)) (#<representation binary32> . (+inf.0 *.f32 3 982))) #hash((#<representation binary64> . (6656 pow.f64 247 4)) (#<representation binary32> . (+inf.0 pow.f32 247 4))) #hash((#<representation binary64> . (6720 pow.f64 1288 4)) (#<representation binary32> . (+inf.0 pow.f32 1288 4))) #hash((#<representation binary64> . (6848 /.f64 380 3)) (#<representation binary32> . (+inf.0 /.f32 380 3))) #hash((#<representation binary64> . (6784 /.f64 11 13)) (#<representation binary32> . (+inf.0 /.f32 11 13))) #hash((#<representation binary64> . (6784 /.f64 9 66)) (#<representation binary32> . (+inf.0 /.f32 9 66))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 234 69)) (#<representation binary32> . (+inf.0 pow.f32 234 69))) #hash((#<representation binary64> . (256 /.f64 89 234)) (#<representation binary32> . (+inf.0 /.f32 89 234))) #hash((#<representation binary64> . (6656 pow.f64 531 4)) (#<representation binary32> . (+inf.0 pow.f32 531 4))) #hash((#<representation binary64> . (6528 pow.f64 1027 3)) (#<representation binary32> . (+inf.0 pow.f32 1027 3))) #hash((#<representation binary64> . (960 +.f64 1452 1453)) (#<representation binary32> . (+inf.0 +.f32 1452 1453))) #hash((#<representation binary64> . (576 *.f64 1093 1093)) (#<representation binary32> . (+inf.0 pow.f32 1093 62))) #hash((#<representation binary64> . (320 *.f64 1 1093)) (#<representation binary32> . (+inf.0 *.f32 1 1093))) #hash((#<representation binary64> . (6720 pow.f64 277 4)) (#<representation binary32> . (+inf.0 pow.f32 277 4))) #hash((#<representation binary64> . (192 *.f64 982 3)) (#<representation binary32> . (+inf.0 *.f32 982 3))) #hash((#<representation binary64> . (192 /.f64 2 112)) (#<representation binary32> . (+inf.0 /.f32 2 112))) #hash((#<representation binary64> . (256 /.f64 9 549)) (#<representation binary32> . (+inf.0 /.f32 9 549))) #hash((#<representation binary64> . (320 *.f64 69 941)) (#<representation binary32> . (+inf.0 *.f32 69 941))) #hash((#<representation binary64> . (192 neg.f64 238)) (#<representation binary32> . (+inf.0 neg.f32 238))) #hash((#<representation binary64> . (320 neg.f64 113)) (#<representation binary32> . (+inf.0 neg.f32 113))) #hash((#<representation binary64> . (192 neg.f64 549)) (#<representation binary32> . (+inf.0 neg.f32 549))) #hash((#<representation binary64> . (256 *.f64 234 0)) (#<representation binary32> . (+inf.0 *.f32 234 0))) #hash((#<representation binary64> . (192 *.f64 971 2)) (#<representation binary32> . (+inf.0 *.f32 971 2))) #hash((#<representation binary64> . (256 /.f64 238 9)) (#<representation binary32> . (+inf.0 /.f32 238 9))) #hash((#<representation binary64> . (192 /.f64 238 112)) (#<representation binary32> . (+inf.0 /.f32 238 112))) #hash((#<representation binary64> . (192 /.f64 238 4)) (#<representation binary32> . (+inf.0 /.f32 238 4))) #hash((#<representation binary64> . (6720 *.f64 570 4)) (#<representation binary32> . (+inf.0 *.f32 570 4))) #hash((#<representation binary64> . (13184 +.f64 188 315)) (#<representation binary32> . (+inf.0 fma.f32 278 4 315))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6976 *.f64 324 490)) (#<representation binary32> . (+inf.0 *.f32 324 490))) #hash((#<representation binary64> . (192 *.f64 135 186)) (#<representation binary32> . (+inf.0 *.f32 135 186))) #hash((#<representation binary64> . (19776 *.f64 144 62)) (#<representation binary32> . (+inf.0 *.f32 144 62))) #hash((#<representation binary64> . (6720 *.f64 421 809)) (#<representation binary32> . (+inf.0 *.f32 421 809))) #hash((#<representation binary64> . (6592 pow.f64 1475 3)) (#<representation binary32> . (+inf.0 pow.f32 1475 3))) #hash((#<representation binary64> . (192 /.f64 479 4)) (#<representation binary32> . (+inf.0 /.f32 479 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 13 69)) (#<representation binary32> . (+inf.0 pow.f32 13 69))) #hash((#<representation binary64> . (12864 pow.f64 390 4)) (#<representation binary32> . (+inf.0 pow.f32 390 4))) #hash((#<representation binary64> . (6656 *.f64 96 421)) (#<representation binary32> . (+inf.0 exp.f32 2216))) #hash((#<representation binary64> . (6656 /.f64 386 3)) (#<representation binary32> . (+inf.0 /.f32 386 3))) #hash((#<representation binary64> . (6592 neg.f64 82)) (#<representation binary32> . (+inf.0 neg.f32 82))) #hash((#<representation binary64> . (13056 *.f64 27 4)) (#<representation binary32> . (+inf.0 *.f32 27 4))) #hash((#<representation binary64> . (13120 +.f64 546 315)) (#<representation binary32> . (+inf.0 fma.f32 224 920 315))) #hash((#<representation binary64> . (13120 +.f64 315 546)) (#<representation binary32> . (+inf.0 +.f32 315 546))) #hash((#<representation binary64> . (320 neg.f64 1228)) (#<representation binary32> . (+inf.0 neg.f32 1228))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 *.f64 453 186)) (#<representation binary32> . (+inf.0 *.f32 453 186))) #hash((#<representation binary64> . (6528 pow.f64 1194 4)) (#<representation binary32> . (+inf.0 pow.f32 1194 4))) #hash((#<representation binary64> . (6720 pow.f64 1133 4)) (#<representation binary32> . (+inf.0 pow.f32 1133 4))) #hash((#<representation binary64> . (6528 /.f64 96 542)) (#<representation binary32> . (+inf.0 /.f32 96 542))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 /.f64 1010 3)) (#<representation binary32> . (+inf.0 /.f32 1010 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6912 /.f64 16 969)) (#<representation binary32> . (+inf.0 /.f32 16 969))) #hash((#<representation binary64> . (6656 /.f64 125 89)) (#<representation binary32> . (+inf.0 /.f32 125 89))) #hash((#<representation binary64> . (6912 *.f64 96 907)) (#<representation binary32> . (+inf.0 *.f32 96 907))) #hash((#<representation binary64> . (6912 *.f64 907 96)) (#<representation binary32> . (+inf.0 *.f32 907 96))) #hash((#<representation binary64> . (6912 /.f64 89 904)) (#<representation binary32> . (+inf.0 /.f32 89 904))) #hash((#<representation binary64> . (6912 *.f64 211 386)) (#<representation binary32> . (+inf.0 *.f32 211 386))) #hash((#<representation binary64> . (6848 *.f64 578 4)) (#<representation binary32> . (+inf.0 *.f32 578 4))) #hash((#<representation binary64> . (320 *.f64 941 3)) (#<representation binary32> . (+inf.0 *.f32 941 3))) #hash((#<representation binary64> . (320 *.f64 421 564)) (#<representation binary32> . (+inf.0 *.f32 421 564))) #hash((#<representation binary64> . (256 /.f64 89 236)) (#<representation binary32> . (+inf.0 /.f32 89 236))) #hash((#<representation binary64> . (960 -.f64 1 1505)) (#<representation binary32> . (+inf.0 -.f32 1 1505))) #hash((#<representation binary64> . (896 *.f64 1452 1093)) (#<representation binary32> . (+inf.0 pow.f32 1093 69))) #hash((#<representation binary64> . (19712 pow.f64 338 62)) (#<representation binary32> . (+inf.0 pow.f32 338 62))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6720 *.f64 213 809)) (#<representation binary32> . (+inf.0 *.f32 213 809))) #hash((#<representation binary64> . (13248 pow.f64 1511 4)) (#<representation binary32> . (+inf.0 pow.f32 1511 4))) #hash((#<representation binary64> . (6848 *.f64 96 1106)) (#<representation binary32> . (+inf.0 *.f32 96 1106))) #hash((#<representation binary64> . (6528 pow.f64 287 4)) (#<representation binary32> . (+inf.0 pow.f32 287 4))) #hash((#<representation binary64> . (6720 pow.f64 1514 3)) (#<representation binary32> . (+inf.0 pow.f32 1514 3))) #hash((#<representation binary64> . (320 /.f64 166 236)) (#<representation binary32> . (+inf.0 /.f32 166 236))) #hash((#<representation binary64> . (128 /.f64 89 224)) (#<representation binary32> . (+inf.0 /.f32 89 224))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 pow.f64 1430 4)) (#<representation binary32> . (+inf.0 pow.f32 1430 4))) #hash((#<representation binary64> . (6720 pow.f64 530 4)) (#<representation binary32> . (+inf.0 pow.f32 530 4))) #hash((#<representation binary64> . (6592 pow.f64 1169 7)) (#<representation binary32> . (+inf.0 pow.f32 1169 7))) #hash((#<representation binary64> . (384 *.f64 424 564)) (#<representation binary32> . (+inf.0 *.f32 424 564))) #hash((#<representation binary64> . (6528 pow.f64 486 3)) (#<representation binary32> . (+inf.0 pow.f32 486 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13376 acos.f64 563)) (#<representation binary32> . (+inf.0 acos.f32 563))) #hash((#<representation binary64> . (13376 acos.f64 489)) (#<representation binary32> . (+inf.0 acos.f32 489))) #hash((#<representation binary64> . (13376 acos.f64 1470)) (#<representation binary32> . (+inf.0 acos.f32 1470))) #hash((#<representation binary64> . (13376 acos.f64 2183)) (#<representation binary32> . (+inf.0 acos.f32 2183))) #hash((#<representation binary64> . (13312 acos.f64 2184)) (#<representation binary32> . (+inf.0 acos.f32 2184))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6912 /.f64 324 771)) (#<representation binary32> . (+inf.0 pow.f32 997 4))) #hash((#<representation binary64> . (384 -.f64 1 187)) (#<representation binary32> . (+inf.0 -.f32 1 187))) #hash((#<representation binary64> . (13504 *.f64 55 55)) (#<representation binary32> . (+inf.0 *.f32 55 55))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 135 13)) (#<representation binary32> . (+inf.0 *.f32 135 13))) #hash((#<representation binary64> . (6592 *.f64 282 4)) (#<representation binary32> . (+inf.0 *.f32 282 4))) #hash((#<representation binary64> . (6976 *.f64 1099 809)) (#<representation binary32> . (+inf.0 *.f32 1099 809))) #hash((#<representation binary64> . (384 /.f64 479 126)) (#<representation binary32> . (+inf.0 /.f32 479 126))) #hash((#<representation binary64> . (6848 pow.f64 228 3)) (#<representation binary32> . (+inf.0 pow.f32 228 3))) #hash((#<representation binary64> . (192 /.f64 1 13)) (#<representation binary32> . (+inf.0 /.f32 1 13))) #hash((#<representation binary64> . (6656 *.f64 738 4)) (#<representation binary32> . (+inf.0 *.f32 738 4))) #hash((#<representation binary64> . (192 /.f64 62 177)) (#<representation binary32> . (+inf.0 /.f32 62 177))) #hash((#<representation binary64> . (192 /.f64 62 110)) (#<representation binary32> . (+inf.0 /.f32 62 110))) #hash((#<representation binary64> . (320 /.f64 89 126)) (#<representation binary32> . (+inf.0 /.f32 89 126))) #hash((#<representation binary64> . (192 /.f64 62 2)) (#<representation binary32> . (+inf.0 /.f32 62 2))) #hash((#<representation binary64> . (256 /.f64 62 126)) (#<representation binary32> . (+inf.0 /.f32 62 126))) #hash((#<representation binary64> . (19776 *.f64 1557 69)) (#<representation binary32> . (+inf.0 *.f32 1557 69))) #hash((#<representation binary64> . (19712 log.f64 338)) (#<representation binary32> . (+inf.0 log.f32 338))) #hash((#<representation binary64> . (6656 pow.f64 1125 4)) (#<representation binary32> . (+inf.0 pow.f32 1125 4))) #hash((#<representation binary64> . (6784 /.f64 96 925)) (#<representation binary32> . (+inf.0 /.f32 96 925))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 394 7)) (#<representation binary32> . (+inf.0 pow.f32 394 7))) #hash((#<representation binary64> . (320 /.f64 1093 3)) (#<representation binary32> . (+inf.0 /.f32 1093 3))) #hash((#<representation binary64> . (384 /.f64 424 13)) (#<representation binary32> . (+inf.0 /.f32 424 13))) #hash((#<representation binary64> . (320 /.f64 925 3)) (#<representation binary32> . (+inf.0 /.f32 925 3))) #hash((#t . (0 . 5/2))) #hash((#<representation binary64> . (448 /.f64 166 203)) (#<representation binary32> . (+inf.0 /.f32 166 203))) #hash((#<representation binary64> . (6784 *.f64 319 564)) (#<representation binary32> . (+inf.0 *.f32 319 564))) #hash((#<representation binary64> . (6656 pow.f64 1569 3)) (#<representation binary32> . (+inf.0 pow.f32 1569 3))) #hash((#<representation binary64> . (256 /.f64 9 368)) (#<representation binary32> . (+inf.0 /.f32 9 368))) #hash((#<representation binary64> . (6976 neg.f64 1494)) (#<representation binary32> . (+inf.0 neg.f32 1494))) #hash((#<representation binary64> . (320 /.f64 1 1011)) (#<representation binary32> . (+inf.0 /.f32 1 1011))) #hash((#<representation binary64> . (6528 pow.f64 87 4)) (#<representation binary32> . (+inf.0 pow.f32 87 4))) #hash((#<representation binary64> . (6528 pow.f64 129 3)) (#<representation binary32> . (+inf.0 pow.f32 129 3))) #hash((#<representation binary64> . (6656 pow.f64 820 3)) (#<representation binary32> . (+inf.0 pow.f32 820 3))) #hash((#<representation binary64> . (256 -.f64 1 556)) (#<representation binary32> . (+inf.0 -.f32 1 556))) #hash((#<representation binary64> . (192 /.f64 112 236)) (#<representation binary32> . (+inf.0 /.f32 112 236))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 /.f64 479 177)) (#<representation binary32> . (+inf.0 /.f32 479 177))) #hash((#<representation binary64> . (6720 pow.f64 1580 3)) (#<representation binary32> . (+inf.0 pow.f32 1580 3))) #hash((#<representation binary64> . (320 /.f64 135 549)) (#<representation binary32> . (+inf.0 /.f32 135 549))) #hash((#<representation binary64> . (6912 /.f64 255 89)) (#<representation binary32> . (+inf.0 /.f32 255 89))) #hash((#<representation binary64> . (6720 *.f64 177 125)) (#<representation binary32> . (+inf.0 *.f32 177 125))) #hash((#<representation binary64> . (128 /.f64 178 89)) (#<representation binary32> . (+inf.0 /.f32 178 89))) #hash((#<representation binary64> . (6848 /.f64 255 4)) (#<representation binary32> . (+inf.0 /.f32 255 4))) #hash((#<representation binary64> . (6720 pow.f64 1564 3)) (#<representation binary32> . (+inf.0 pow.f32 1564 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 /.f64 185 3)) (#<representation binary32> . (+inf.0 /.f32 185 3))) #hash((#<representation binary64> . (6592 *.f64 281 4)) (#<representation binary32> . (+inf.0 *.f32 281 4))) #hash((#<representation binary64> . (12864 exp.f64 920)) (#<representation binary32> . (+inf.0 exp.f32 920))) #hash((#<representation binary64> . (192 /.f64 166 69)) (#<representation binary32> . (+inf.0 /.f32 166 69))) #hash((#<representation binary64> . (6848 *.f64 1593 3)) (#<representation binary32> . (+inf.0 *.f32 1593 3))) #hash((#<representation binary64> . (6784 /.f64 718 89)) (#<representation binary32> . (+inf.0 /.f32 718 89))) #hash((#<representation binary64> . (6528 pow.f64 110 69)) (#<representation binary32> . (+inf.0 pow.f32 110 69))) #hash((#<representation binary64> . (192 /.f64 62 470)) (#<representation binary32> . (+inf.0 /.f32 62 470))) #hash((#<representation binary64> . (6848 pow.f64 1098 4)) (#<representation binary32> . (+inf.0 pow.f32 1098 4))) #hash((#<representation binary64> . (6720 pow.f64 1553 3)) (#<representation binary32> . (+inf.0 pow.f32 1553 3))) #hash((#<representation binary64> . (6656 pow.f64 942 3)) (#<representation binary32> . (+inf.0 pow.f32 942 3))) #hash((#<representation binary64> . (12992 pow.f64 1481 4)) (#<representation binary32> . (+inf.0 pow.f32 1481 4))) #hash((#<representation binary64> . (192 /.f64 1 365)) (#<representation binary32> . (+inf.0 /.f32 1 365))) #hash((#<representation binary64> . (13056 pow.f64 381 4)) (#<representation binary32> . (+inf.0 pow.f32 381 4))) #hash((#<representation binary64> . (6720 *.f64 96 424)) (#<representation binary32> . (+inf.0 *.f32 96 424))) #hash((#<representation binary64> . (13120 pow.f64 417 224)) (#<representation binary32> . (+inf.0 pow.f32 417 224))) #hash((#<representation binary64> . (13056 pow.f64 295 4)) (#<representation binary32> . (+inf.0 pow.f32 295 4))) #hash((#<representation binary64> . (12928 pow.f64 173 4)) (#<representation binary32> . (+inf.0 pow.f32 173 4))) #hash((#<representation binary64> . (6656 pow.f64 392 4)) (#<representation binary32> . (+inf.0 pow.f32 392 4))) #hash((#<representation binary64> . (12992 pow.f64 393 4)) (#<representation binary32> . (+inf.0 pow.f32 393 4))) #hash((#<representation binary64> . (256 /.f64 110 89)) (#<representation binary32> . (+inf.0 /.f32 110 89))) #hash((#<representation binary64> . (6784 pow.f64 1952 4)) (#<representation binary32> . (+inf.0 pow.f32 1952 4))) #hash((#<representation binary64> . (384 *.f64 89 99)) (#<representation binary32> . (+inf.0 *.f32 89 99))) #hash((#<representation binary64> . (6848 *.f64 587 4)) (#<representation binary32> . (+inf.0 *.f32 587 4))) #hash((#<representation binary64> . (13312 +.f64 205 315)) (#<representation binary32> . (+inf.0 fma.f32 566 4 315))) #hash((#<representation binary64> . (256 -.f64 1 728)) (#<representation binary32> . (+inf.0 -.f32 1 728))) #hash((#<representation binary64> . (320 /.f64 479 2)) (#<representation binary32> . (+inf.0 /.f32 479 2))) #hash((#<representation binary64> . (6848 pow.f64 1616 3)) (#<representation binary32> . (+inf.0 pow.f32 1616 3))) #hash((#<representation binary64> . (448 /.f64 135 113)) (#<representation binary32> . (+inf.0 /.f32 135 113))) #hash((#<representation binary64> . (6656 *.f64 319 324)) (#<representation binary32> . (+inf.0 *.f32 319 324))) #hash((#<representation binary64> . (256 *.f64 424 324)) (#<representation binary32> . (+inf.0 *.f32 424 324))) #hash((#<representation binary64> . (192 *.f64 421 324)) (#<representation binary32> . (+inf.0 *.f32 421 324))) #hash((#<representation binary64> . (192 *.f64 368 324)) (#<representation binary32> . (+inf.0 *.f32 368 324))) #hash((#<representation binary64> . (6720 *.f64 718 3)) (#<representation binary32> . (+inf.0 *.f32 718 3))) #hash((#<representation binary64> . (128 /.f64 324 89)) (#<representation binary32> . (+inf.0 /.f32 324 89))) #hash((#<representation binary64> . (192 *.f64 324 421)) (#<representation binary32> . (+inf.0 *.f32 324 421))) #hash((#<representation binary64> . (6656 *.f64 324 319)) (#<representation binary32> . (+inf.0 *.f32 324 319))) #hash((#<representation binary64> . (192 /.f64 324 365)) (#<representation binary32> . (+inf.0 /.f32 324 365))) #hash((#<representation binary64> . (6656 /.f64 324 386)) (#<representation binary32> . (+inf.0 /.f32 324 386))) #hash((#<representation binary64> . (256 /.f64 324 259)) (#<representation binary32> . (+inf.0 /.f32 324 259))) #hash((#<representation binary64> . (6784 /.f64 89 718)) (#<representation binary32> . (+inf.0 /.f32 89 718))) #hash((#<representation binary64> . (6848 /.f64 365 712)) (#<representation binary32> . (+inf.0 /.f32 365 712))) #hash((#<representation binary64> . (6720 neg.f64 712)) (#<representation binary32> . (+inf.0 neg.f32 712))) #hash((#<representation binary64> . (192 *.f64 713 3)) (#<representation binary32> . (+inf.0 *.f32 713 3))) #hash((#<representation binary64> . (6720 /.f64 712 4)) (#<representation binary32> . (+inf.0 /.f32 712 4))) #hash((#<representation binary64> . (6784 *.f64 417 714)) (#<representation binary32> . (+inf.0 -.f32 1 1593))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6784 *.f64 96 1093)) (#<representation binary32> . (+inf.0 *.f32 96 1093))) #hash((#<representation binary64> . (6784 pow.f64 1637 4)) (#<representation binary32> . (+inf.0 pow.f32 1637 4))) #hash((#<representation binary64> . (384 /.f64 91 259)) (#<representation binary32> . (+inf.0 /.f32 91 259))) #hash((#<representation binary64> . (19776 pow.f64 437 69)) (#<representation binary32> . (+inf.0 pow.f32 437 69))) #hash((#<representation binary64> . (6848 /.f64 1200 62)) (#<representation binary32> . (+inf.0 /.f32 1200 62))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 559 7)) (#<representation binary32> . (+inf.0 pow.f32 559 7))) #hash((#<representation binary64> . (6592 log.f64 1028)) (#<representation binary32> . (+inf.0 log.f32 1028))) #hash((#<representation binary64> . (128 /.f64 0 3)) (#<representation binary32> . (+inf.0 /.f32 0 3))) #hash((#<representation binary64> . (6528 *.f64 44 4)) (#<representation binary32> . (+inf.0 *.f32 44 4))) #hash((#<representation binary64> . (6656 *.f64 324 1647)) (#<representation binary32> . (+inf.0 *.f32 324 1647))) #hash((#<representation binary64> . (6592 /.f64 16 9)) (#<representation binary32> . (+inf.0 pow.f32 17 4))) #hash((#<representation binary64> . (6528 *.f64 88 16)) (#<representation binary32> . (+inf.0 *.f32 88 16))) #hash((#t . (0 . -2/3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6976 /.f64 1652 3)) (#<representation binary32> . (+inf.0 /.f32 1652 3))) #hash((#<representation binary64> . (6912 /.f64 658 16)) (#<representation binary32> . (+inf.0 /.f32 135 904))) #hash((#<representation binary64> . (6528 *.f64 96 3)) (#<representation binary32> . (+inf.0 *.f32 96 3))) #hash((#<representation binary64> . (6528 *.f64 3 96)) (#<representation binary32> . (+inf.0 *.f32 3 96))) #hash((#<representation binary64> . (192 *.f64 197 197)) (#<representation binary32> . (+inf.0 pow.f32 197 62))) #hash((#<representation binary64> . (13120 +.f64 964 964)) (#<representation binary32> . (+inf.0 fma.f32 920 143 964))) #hash((#<representation binary64> . (384 -.f64 1 973)) (#<representation binary32> . (+inf.0 -.f32 1 973))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13056 *.f64 38 4)) (#<representation binary32> . (+inf.0 *.f32 38 4))) #hash((#<representation binary64> . (6592 *.f64 3 809)) (#<representation binary32> . (+inf.0 *.f32 3 809))) #hash((#<representation binary64> . (192 /.f64 479 3)) (#<representation binary32> . (+inf.0 /.f32 479 3))) #hash((#<representation binary64> . (6720 pow.f64 1664 3)) (#<representation binary32> . (+inf.0 pow.f32 1664 3))) #hash((#<representation binary64> . (320 /.f64 135 238)) (#<representation binary32> . (+inf.0 /.f32 135 238))) #hash((#<representation binary64> . (13248 pow.f64 1666 4)) (#<representation binary32> . (+inf.0 pow.f32 1666 4))) #hash((#<representation binary64> . (6848 /.f64 135 131)) (#<representation binary32> . (+inf.0 /.f32 135 131))) #hash((#<representation binary64> . (192 /.f64 3 236)) (#<representation binary32> . (+inf.0 pow.f32 236 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6912 /.f64 1200 89)) (#<representation binary32> . (+inf.0 /.f32 1200 89))) #hash((#<representation binary64> . (256 /.f64 324 562)) (#<representation binary32> . (+inf.0 /.f32 324 562))) #hash((#<representation binary64> . (6528 log.f64 1029)) (#<representation binary32> . (+inf.0 log.f32 1029))) #hash((#<representation binary64> . (256 *.f64 324 126)) (#<representation binary32> . (+inf.0 *.f32 324 126))) #hash((#<representation binary64> . (19776 log.f64 786)) (#<representation binary32> . (+inf.0 log.f32 786))) #hash((#<representation binary64> . (6656 pow.f64 308 69)) (#<representation binary32> . (+inf.0 pow.f32 308 69))) #hash((#<representation binary64> . (6592 pow.f64 726 3)) (#<representation binary32> . (+inf.0 pow.f32 726 3))) #hash((#<representation binary64> . (6720 /.f64 131 112)) (#<representation binary32> . (+inf.0 /.f32 131 112))) #hash((#<representation binary64> . (6784 /.f64 16 1228)) (#<representation binary32> . (+inf.0 /.f32 16 1228))) #hash((#<representation binary64> . (19712 pow.f64 338 69)) (#<representation binary32> . (+inf.0 pow.f32 338 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 neg.f64 96)) (#<representation binary32> . (+inf.0 neg.f32 96))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 neg.f64 443)) (#<representation binary32> . (+inf.0 neg.f32 443))) #hash((#<representation binary64> . (6976 neg.f64 997)) (#<representation binary32> . (+inf.0 neg.f32 997))) #hash((#<representation binary64> . (6784 pow.f64 1547 3)) (#<representation binary32> . (+inf.0 pow.f32 1547 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 pow.f64 1163 4)) (#<representation binary32> . (+inf.0 pow.f32 1163 4))) #hash((#<representation binary64> . (19712 pow.f64 161 460)) (#<representation binary32> . (+inf.0 pow.f32 161 460))) #hash((#<representation binary64> . (26176 *.f64 1866 69)) (#<representation binary32> . (+inf.0 *.f32 1866 69))) #hash((#<representation binary64> . (320 *.f64 62 99)) (#<representation binary32> . (+inf.0 *.f32 62 99))) #hash((#<representation binary64> . (6784 *.f64 319 179)) (#<representation binary32> . (+inf.0 *.f32 319 179))) #hash((#<representation binary64> . (6784 *.f64 386 13)) (#<representation binary32> . (+inf.0 *.f32 386 13))) #hash((#<representation binary64> . (6656 pow.f64 826 69)) (#<representation binary32> . (+inf.0 pow.f32 826 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 pow.f64 1429 3)) (#<representation binary32> . (+inf.0 pow.f32 1429 3))) #hash((#<representation binary64> . (192 *.f64 1 182)) (#<representation binary32> . (+inf.0 *.f32 1 182))) #hash((#<representation binary64> . (6592 neg.f64 125)) (#<representation binary32> . (+inf.0 neg.f32 125))) #hash((#<representation binary64> . (6784 *.f64 96 826)) (#<representation binary32> . (+inf.0 *.f32 96 826))) #hash((#<representation binary64> . (6784 *.f64 16 308)) (#<representation binary32> . (+inf.0 *.f32 16 308))) #hash((#<representation binary64> . (6528 *.f64 16 88)) (#<representation binary32> . (+inf.0 *.f32 16 88))) #hash((#<representation binary64> . (6784 *.f64 826 96)) (#<representation binary32> . (+inf.0 *.f32 826 96))) #hash((#<representation binary64> . (6656 *.f64 238 16)) (#<representation binary32> . (+inf.0 *.f32 238 16))) #hash((#<representation binary64> . (6720 neg.f64 131)) (#<representation binary32> . (+inf.0 neg.f32 131))) #hash((#<representation binary64> . (6656 *.f64 16 238)) (#<representation binary32> . (+inf.0 *.f32 16 238))) #hash((#<representation binary64> . (6976 *.f64 1495 203)) (#<representation binary32> . (+inf.0 *.f32 1495 203))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6720 *.f64 131 3)) (#<representation binary32> . (+inf.0 *.f32 131 3))) #hash((#<representation binary64> . (6848 *.f64 88 922)) (#<representation binary32> . (+inf.0 *.f32 88 922))) #hash((#<representation binary64> . (6528 pow.f64 185 3)) (#<representation binary32> . (+inf.0 pow.f32 185 3))) #hash((#<representation binary64> . (6912 /.f64 421 8)) (#<representation binary32> . (+inf.0 /.f32 421 8))) #hash((#<representation binary64> . (6912 /.f64 562 718)) (#<representation binary32> . (+inf.0 /.f32 562 718))) #hash((#<representation binary64> . (192 /.f64 3 1012)) (#<representation binary32> . (+inf.0 pow.f32 1012 4))) #hash((#<representation binary64> . (320 /.f64 69 932)) (#<representation binary32> . (+inf.0 /.f32 69 932))) #hash((#<representation binary64> . (6528 *.f64 16 324)) (#<representation binary32> . (+inf.0 *.f32 16 324))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13184 pow.f64 780 4)) (#<representation binary32> . (+inf.0 pow.f32 780 4))) #hash((#<representation binary64> . (6656 pow.f64 1722 7)) (#<representation binary32> . (+inf.0 pow.f32 1722 7))) #hash((#<representation binary64> . (256 /.f64 9 421)) (#<representation binary32> . (+inf.0 /.f32 9 421))) #hash((#<representation binary64> . (256 neg.f64 424)) (#<representation binary32> . (+inf.0 neg.f32 424))) #hash((#<representation binary64> . (6912 *.f64 55 13)) (#<representation binary32> . (+inf.0 *.f32 55 13))) #hash((#<representation binary64> . (448 *.f64 99 166)) (#<representation binary32> . (+inf.0 *.f32 99 166))) #hash((#<representation binary64> . (192 *.f64 88 982)) (#<representation binary32> . (+inf.0 *.f32 88 982))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 1096 4)) (#<representation binary32> . (+inf.0 pow.f32 1096 4))) #hash((#<representation binary64> . (6656 pow.f64 932 3)) (#<representation binary32> . (+inf.0 pow.f32 932 3))) #hash((#<representation binary64> . (448 -.f64 1 1731)) (#<representation binary32> . (+inf.0 -.f32 1 1731))) #hash((#<representation binary64> . (384 *.f64 816 2304)) (#<representation binary32> . (+inf.0 pow.f32 182 69))) #hash((#<representation binary64> . (320 /.f64 182 238)) (#<representation binary32> . (+inf.0 /.f32 182 238))) #hash((#<representation binary64> . (6784 /.f64 16 261)) (#<representation binary32> . (+inf.0 /.f32 16 261))) #hash((#<representation binary64> . (12992 pow.f64 687 69)) (#<representation binary32> . (+inf.0 pow.f32 687 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 1169 4)) (#<representation binary32> . (+inf.0 pow.f32 1169 4))) #hash((#<representation binary64> . (256 /.f64 3 562)) (#<representation binary32> . (+inf.0 pow.f32 562 4))) #hash((#<representation binary64> . (6784 *.f64 1495 0)) (#<representation binary32> . (+inf.0 *.f32 1495 0))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 *.f64 549 16)) (#<representation binary32> . (+inf.0 *.f32 549 16))) #hash((#<representation binary64> . (6848 *.f64 14 179)) (#<representation binary32> . (+inf.0 *.f32 14 179))) #hash((#<representation binary64> . (6848 *.f64 3 922)) (#<representation binary32> . (+inf.0 *.f32 3 922))) #hash((#<representation binary64> . (6528 pow.f64 391 7)) (#<representation binary32> . (+inf.0 pow.f32 391 7))) #hash((#<representation binary64> . (6976 /.f64 997 3)) (#<representation binary32> . (+inf.0 /.f32 997 3))) #hash((#<representation binary64> . (6848 /.f64 1 420)) (#<representation binary32> . (+inf.0 /.f32 1 420))) #hash((#<representation binary64> . (13120 pow.f64 8 3)) (#<representation binary32> . (+inf.0 pow.f32 8 3))) #hash((#<representation binary64> . (13120 pow.f64 1225 3)) (#<representation binary32> . (+inf.0 pow.f32 1225 3))) #hash((#<representation binary64> . (13312 pow.f64 472 3)) (#<representation binary32> . (+inf.0 pow.f32 472 3))) #hash((#<representation binary64> . (6528 pow.f64 179 4)) (#<representation binary32> . (+inf.0 pow.f32 179 4))) #hash((#<representation binary64> . (6528 pow.f64 13 3)) (#<representation binary32> . (+inf.0 pow.f32 13 3))) #hash((#<representation binary64> . (6656 pow.f64 1738 4)) (#<representation binary32> . (+inf.0 pow.f32 1738 4))) #hash((#<representation binary64> . (6656 /.f64 3 1647)) (#<representation binary32> . (+inf.0 pow.f32 1647 4))) #hash((#<representation binary64> . (192 /.f64 13 3)) (#<representation binary32> . (+inf.0 /.f32 13 3))) #hash((#<representation binary64> . (13184 pow.f64 1694 4)) (#<representation binary32> . (+inf.0 pow.f32 1694 4))) #hash((#<representation binary64> . (13184 pow.f64 1733 4)) (#<representation binary32> . (+inf.0 pow.f32 1733 4))) #hash((#<representation binary64> . (13184 pow.f64 1900 4)) (#<representation binary32> . (+inf.0 pow.f32 1900 4))) #hash((#<representation binary64> . (6656 pow.f64 970 4)) (#<representation binary32> . (+inf.0 pow.f32 970 4))) #hash((#<representation binary64> . (6720 pow.f64 2067 4)) (#<representation binary32> . (+inf.0 pow.f32 2067 4))) #hash((#<representation binary64> . (6720 pow.f64 2196 4)) (#<representation binary32> . (+inf.0 pow.f32 2196 4))) #hash((#<representation binary64> . (6720 pow.f64 1901 4)) (#<representation binary32> . (+inf.0 pow.f32 1901 4))) #hash((#<representation binary64> . (6720 pow.f64 1106 4)) (#<representation binary32> . (+inf.0 pow.f32 1106 4))) #hash((#<representation binary64> . (6784 pow.f64 2195 4)) (#<representation binary32> . (+inf.0 pow.f32 2195 4))) #hash((#<representation binary64> . (6784 pow.f64 2198 4)) (#<representation binary32> . (+inf.0 pow.f32 2198 4))) #hash((#<representation binary64> . (13248 pow.f64 90 4)) (#<representation binary32> . (+inf.0 pow.f32 90 4))) #hash((#<representation binary64> . (13056 pow.f64 1167 4)) (#<representation binary32> . (+inf.0 pow.f32 1167 4))) #hash((#<representation binary64> . (13184 pow.f64 93 3)) (#<representation binary32> . (+inf.0 pow.f32 93 3))) #hash((#<representation binary64> . (6592 pow.f64 817 3)) (#<representation binary32> . (+inf.0 pow.f32 817 3))) #hash((#<representation binary64> . (6656 pow.f64 1722 3)) (#<representation binary32> . (+inf.0 pow.f32 1722 3))) #hash((#<representation binary64> . (13120 pow.f64 456 3)) (#<representation binary32> . (+inf.0 pow.f32 456 3))) #hash((#<representation binary64> . (12992 pow.f64 17 3)) (#<representation binary32> . (+inf.0 pow.f32 17 3))) #hash((#<representation binary64> . (13184 pow.f64 1445 3)) (#<representation binary32> . (+inf.0 pow.f32 1445 3))) #hash((#<representation binary64> . (13056 pow.f64 1238 3)) (#<representation binary32> . (+inf.0 pow.f32 1238 3))) #hash((#<representation binary64> . (6592 pow.f64 1754 3)) (#<representation binary32> . (+inf.0 pow.f32 1754 3))) #hash((#<representation binary64> . (6656 pow.f64 939 3)) (#<representation binary32> . (+inf.0 pow.f32 939 3))) #hash((#<representation binary64> . (320 *.f64 9 259)) (#<representation binary32> . (+inf.0 *.f32 9 259))) #hash((#<representation binary64> . (6720 *.f64 386 9)) (#<representation binary32> . (+inf.0 *.f32 386 9))) #hash((#<representation binary64> . (320 /.f64 562 0)) (#<representation binary32> . (+inf.0 /.f32 562 0))) #hash((#<representation binary64> . (6720 /.f64 562 16)) (#<representation binary32> . (+inf.0 /.f32 562 16))) #hash((#<representation binary64> . (320 *.f64 259 9)) (#<representation binary32> . (+inf.0 *.f32 259 9))) #hash((#<representation binary64> . (13312 *.f64 753 4)) (#<representation binary32> . (+inf.0 *.f32 753 4))) #hash((#<representation binary64> . (13312 *.f64 286 3)) (#<representation binary32> . (+inf.0 *.f32 286 3))) #hash((#<representation binary64> . (13376 *.f64 1932 4)) (#<representation binary32> . (+inf.0 *.f32 1932 4))) #hash((#<representation binary64> . (13376 neg.f64 1932)) (#<representation binary32> . (+inf.0 neg.f32 1932))) #hash((#<representation binary64> . (6400 pow.f64 224 169)) (#<representation binary32> . (3200 pow.f32 224 169))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13184 pow.f64 1075 4)) (#<representation binary32> . (+inf.0 pow.f32 1075 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . -19683))) #hash((#<representation binary64> . (6400 pow.f64 3 224)) (#<representation binary32> . (3200 pow.f32 3 224))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 1/6))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 99 62)) (#<representation binary32> . (+inf.0 *.f32 99 62))) #hash((#<representation binary64> . (6592 pow.f64 126 69)) (#<representation binary32> . (+inf.0 pow.f32 126 69))) #hash((#<representation binary64> . (192 *.f64 365 186)) (#<representation binary32> . (+inf.0 *.f32 365 186))) #hash((#<representation binary64> . (6912 /.f64 16 940)) (#<representation binary32> . (+inf.0 /.f32 16 940))) #hash((#<representation binary64> . (448 +.f64 1 1805)) (#<representation binary32> . (+inf.0 +.f32 1 1805))) #hash((#<representation binary64> . (384 +.f64 556 482)) (#<representation binary32> . (+inf.0 fma.f32 89 89 482))) #hash((#<representation binary64> . (6592 pow.f64 559 3)) (#<representation binary32> . (+inf.0 pow.f32 559 3))) #hash((#<representation binary64> . (6592 pow.f64 394 4)) (#<representation binary32> . (+inf.0 pow.f32 394 4))) #hash((#<representation binary64> . (19840 *.f64 299 69)) (#<representation binary32> . (+inf.0 *.f32 299 69))) #hash((#<representation binary64> . (6720 *.f64 125 1007)) (#<representation binary32> . (+inf.0 *.f32 125 1007))) #hash((#<representation binary64> . (6784 *.f64 11 179)) (#<representation binary32> . (+inf.0 *.f32 11 179))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (12864 pow.f64 390 7)) (#<representation binary32> . (+inf.0 pow.f32 390 7))) #hash((#<representation binary64> . (13376 *.f64 3 361)) (#<representation binary32> . (+inf.0 *.f32 3 361))) #hash((#<representation binary64> . (320 *.f64 1228 112)) (#<representation binary32> . (+inf.0 *.f32 1228 112))) #hash((#<representation binary64> . (13760 *.f64 771 771)) (#<representation binary32> . (+inf.0 *.f32 771 771))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 log.f64 272)) (#<representation binary32> . (+inf.0 log.f32 272))) #hash((#<representation binary64> . (13248 pow.f64 1174 4)) (#<representation binary32> . (+inf.0 pow.f32 1174 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 *.f64 718 91)) (#<representation binary32> . (+inf.0 *.f32 718 91))) #hash((#<representation binary64> . (6848 neg.f64 93)) (#<representation binary32> . (+inf.0 neg.f32 93))) #hash((#<representation binary64> . (6784 *.f64 125 424)) (#<representation binary32> . (+inf.0 *.f32 125 424))) #hash((#<representation binary64> . (192 neg.f64 982)) (#<representation binary32> . (+inf.0 neg.f32 982))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 /.f64 1 443)) (#<representation binary32> . (+inf.0 /.f32 1 443))) #hash((#<representation binary64> . (192 /.f64 110 62)) (#<representation binary32> . (+inf.0 /.f32 110 62))) #hash((#<representation binary64> . (192 /.f64 3 443)) (#<representation binary32> . (+inf.0 pow.f32 443 4))) #hash((#<representation binary64> . (192 *.f64 110 224)) (#<representation binary32> . (+inf.0 *.f32 110 224))) #hash((#t . (0 . 1/54))) #hash((#<representation binary64> . (6592 pow.f64 1554 4)) (#<representation binary32> . (+inf.0 pow.f32 1554 4))) #hash((#<representation binary64> . (6720 pow.f64 2022 4)) (#<representation binary32> . (+inf.0 pow.f32 2022 4))) #hash((#<representation binary64> . (256 /.f64 301 126)) (#<representation binary32> . (+inf.0 /.f32 301 126))) #hash((#<representation binary64> . (320 neg.f64 925)) (#<representation binary32> . (+inf.0 neg.f32 925))) #hash((#<representation binary64> . (192 *.f64 2 224)) (#<representation binary32> . (+inf.0 *.f32 2 224))) #hash((#<representation binary64> . (192 *.f64 982 224)) (#<representation binary32> . (+inf.0 *.f32 982 224))) #hash((#<representation binary64> . (192 /.f64 2 62)) (#<representation binary32> . (+inf.0 /.f32 2 62))) #hash((#<representation binary64> . (320 *.f64 308 224)) (#<representation binary32> . (+inf.0 *.f32 308 224))) #hash((#<representation binary64> . (6720 *.f64 584 4)) (#<representation binary32> . (+inf.0 *.f32 584 4))) #hash((#<representation binary64> . (19776 neg.f64 540)) (#<representation binary32> . (+inf.0 neg.f32 540))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19776 *.f64 144 169)) (#<representation binary32> . (+inf.0 *.f32 144 169))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 /.f64 901 3)) (#<representation binary32> . (+inf.0 /.f32 901 3))) #hash((#<representation binary64> . (448 *.f64 99 453)) (#<representation binary32> . (+inf.0 *.f32 99 453))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 /.f64 89 12)) (#<representation binary32> . (+inf.0 /.f32 89 12))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6400 pow.f64 3 121)) (#<representation binary32> . (3200 pow.f32 3 121))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (26112 log.f64 270)) (#<representation binary32> . (+inf.0 log.f32 270))) #hash((#<representation binary64> . (6528 pow.f64 177 69)) (#<representation binary32> . (+inf.0 pow.f32 177 69))) #hash((#<representation binary64> . (448 *.f64 941 213)) (#<representation binary32> . (+inf.0 *.f32 941 213))) #hash((#<representation binary64> . (6656 *.f64 96 213)) (#<representation binary32> . (+inf.0 *.f32 96 213))) #hash((#<representation binary64> . (6656 pow.f64 1448 3)) (#<representation binary32> . (+inf.0 pow.f32 1448 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 *.f64 465 16)) (#<representation binary32> . (+inf.0 *.f32 465 16))) #hash((#<representation binary64> . (6912 *.f64 229 16)) (#<representation binary32> . (+inf.0 *.f32 229 16))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 pow.f64 1298 4)) (#<representation binary32> . (+inf.0 pow.f32 1298 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 -.f64 1 1024)) (#<representation binary32> . (+inf.0 -.f32 1 1024))) #hash((#<representation binary64> . (192 +.f64 1 135)) (#<representation binary32> . (+inf.0 +.f32 1 135))) #hash((#<representation binary64> . (13440 *.f64 906 121)) (#<representation binary32> . (+inf.0 *.f32 906 121))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 479 3)) (#<representation binary32> . (+inf.0 pow.f32 479 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 /.f64 89 96)) (#<representation binary32> . (+inf.0 /.f32 89 96))) #hash((#<representation binary64> . (6592 *.f64 82 4)) (#<representation binary32> . (+inf.0 *.f32 82 4))) #hash((#<representation binary64> . (6720 *.f64 631 69)) (#<representation binary32> . (+inf.0 *.f32 631 69))) #hash((#<representation binary64> . (6592 pow.f64 378 69)) (#<representation binary32> . (+inf.0 pow.f32 378 69))) #hash((#<representation binary64> . (384 *.f64 1105 3)) (#<representation binary32> . (+inf.0 *.f32 1105 3))) #hash((#<representation binary64> . (6592 pow.f64 1551 3)) (#<representation binary32> . (+inf.0 pow.f32 1551 3))) #hash((#<representation binary64> . (6592 pow.f64 1028 3)) (#<representation binary32> . (+inf.0 pow.f32 1028 3))) #hash((#<representation binary64> . (6656 *.f64 125 0)) (#<representation binary32> . (+inf.0 *.f32 125 0))) #hash((#<representation binary64> . (6720 *.f64 566 3)) (#<representation binary32> . (+inf.0 *.f32 566 3))) #hash((#<representation binary64> . (6784 *.f64 113 16)) (#<representation binary32> . (+inf.0 *.f32 113 16))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 1667 3)) (#<representation binary32> . (+inf.0 pow.f32 1667 3))) #hash((#<representation binary64> . (12992 pow.f64 386 7)) (#<representation binary32> . (+inf.0 pow.f32 386 7))) #hash((#<representation binary64> . (448 +.f64 1 727)) (#<representation binary32> . (+inf.0 +.f32 1 727))) #hash((#<representation binary64> . (128 +.f64 1 9)) (#<representation binary32> . (+inf.0 +.f32 1 9))) #hash((#<representation binary64> . (6784 /.f64 319 13)) (#<representation binary32> . (+inf.0 /.f32 319 13))) #hash((#<representation binary64> . (320 /.f64 421 13)) (#<representation binary32> . (+inf.0 /.f32 421 13))) #hash((#<representation binary64> . (192 /.f64 421 4)) (#<representation binary32> . (+inf.0 /.f32 421 4))) #hash((#<representation binary64> . (6656 /.f64 319 4)) (#<representation binary32> . (+inf.0 /.f32 319 4))) #hash((#<representation binary64> . (320 *.f64 13 365)) (#<representation binary32> . (+inf.0 *.f32 13 365))) #hash((#<representation binary64> . (6784 /.f64 417 4)) (#<representation binary32> . (+inf.0 /.f32 417 4))) #hash((#<representation binary64> . (6912 *.f64 380 9)) (#<representation binary32> . (+inf.0 *.f32 380 9))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 neg.f64 315)) (#<representation binary32> . (+inf.0 neg.f32 315))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (384 *.f64 453 15)) (#<representation binary32> . (+inf.0 *.f32 453 15))) #hash((#<representation binary64> . (6848 *.f64 1593 4)) (#<representation binary32> . (+inf.0 *.f32 1593 4))) #hash((#<representation binary64> . (6720 pow.f64 801 3)) (#<representation binary32> . (+inf.0 pow.f32 801 3))) #hash((#<representation binary64> . (13312 pow.f64 472 7)) (#<representation binary32> . (+inf.0 pow.f32 472 7))) #hash((#<representation binary64> . (6528 /.f64 62 16)) (#<representation binary32> . (+inf.0 /.f32 62 16))) #hash((#<representation binary64> . (6912 /.f64 16 658)) (#<representation binary32> . (+inf.0 /.f32 16 658))) #hash((#<representation binary64> . (6592 pow.f64 509 69)) (#<representation binary32> . (+inf.0 pow.f32 509 69))) #hash((#<representation binary64> . (6848 *.f64 904 4)) (#<representation binary32> . (+inf.0 *.f32 904 4))) #hash((#<representation binary64> . (6528 pow.f64 1029 3)) (#<representation binary32> . (+inf.0 pow.f32 1029 3))) #hash((#<representation binary64> . (12992 pow.f64 1481 69)) (#<representation binary32> . (+inf.0 pow.f32 1481 69))) #hash((#<representation binary64> . (6528 *.f64 279 69)) (#<representation binary32> . (+inf.0 *.f32 279 69))) #hash((#<representation binary64> . (6720 /.f64 96 562)) (#<representation binary32> . (+inf.0 /.f32 96 562))) #hash((#<representation binary64> . (6848 *.f64 1105 16)) (#<representation binary32> . (+inf.0 *.f32 1105 16))) #hash((#<representation binary64> . (6528 pow.f64 91 69)) (#<representation binary32> . (+inf.0 pow.f32 91 69))) #hash((#<representation binary64> . (6720 *.f64 712 4)) (#<representation binary32> . (+inf.0 *.f32 712 4))) #hash((#<representation binary64> . (13184 pow.f64 380 7)) (#<representation binary32> . (+inf.0 pow.f32 380 7))) #hash((#<representation binary64> . (6592 pow.f64 1172 4)) (#<representation binary32> . (+inf.0 pow.f32 1172 4))) #hash((#<representation binary64> . (384 -.f64 1 554)) (#<representation binary32> . (+inf.0 -.f32 1 554))) #hash((#<representation binary64> . (128 +.f64 1 89)) (#<representation binary32> . (+inf.0 +.f32 1 89))) #hash((#<representation binary64> . (6592 /.f64 96 9)) (#<representation binary32> . (+inf.0 /.f32 96 9))) #hash((#<representation binary64> . (13120 +.f64 546 303)) (#<representation binary32> . (+inf.0 fma.f32 224 920 303))) #hash((#<representation binary64> . (13312 *.f64 286 4)) (#<representation binary32> . (+inf.0 *.f32 286 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 213 177)) (#<representation binary32> . (+inf.0 *.f32 213 177))) #hash((#<representation binary64> . (6592 *.f64 278 69)) (#<representation binary32> . (+inf.0 *.f32 278 69))) #hash((#<representation binary64> . (6528 pow.f64 486 4)) (#<representation binary32> . (+inf.0 pow.f32 486 4))) #hash((#<representation binary64> . (6592 pow.f64 562 7)) (#<representation binary32> . (+inf.0 pow.f32 562 7))) #hash((#<representation binary64> . (6592 *.f64 82 3)) (#<representation binary32> . (+inf.0 *.f32 82 3))) #hash((#<representation binary64> . (6656 *.f64 741 4)) (#<representation binary32> . (+inf.0 *.f32 741 4))) #hash((#<representation binary64> . (6592 pow.f64 1292 4)) (#<representation binary32> . (+inf.0 pow.f32 1292 4))) #hash((#<representation binary64> . (13056 pow.f64 836 4)) (#<representation binary32> . (+inf.0 pow.f32 836 4))) #hash((#<representation binary64> . (192 *.f64 1 135)) (#<representation binary32> . (+inf.0 *.f32 1 135))) #hash((#<representation binary64> . (6720 pow.f64 277 7)) (#<representation binary32> . (+inf.0 pow.f32 277 7))) #hash((#<representation binary64> . (6848 *.f64 904 3)) (#<representation binary32> . (+inf.0 *.f32 904 3))) #hash((#<representation binary64> . (6720 *.f64 572 4)) (#<representation binary32> . (+inf.0 *.f32 572 4))) #hash((#<representation binary64> . (6592 pow.f64 1091 4)) (#<representation binary32> . (+inf.0 pow.f32 1091 4))) #hash((#<representation binary64> . (192 +.f64 1 182)) (#<representation binary32> . (+inf.0 +.f32 1 182))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 pow.f64 1569 4)) (#<representation binary32> . (+inf.0 pow.f32 1569 4))) #hash((#<representation binary64> . (19840 *.f64 1673 69)) (#<representation binary32> . (+inf.0 *.f32 1673 69))) #hash((#<representation binary64> . (384 /.f64 89 941)) (#<representation binary32> . (+inf.0 /.f32 89 941))) #hash((#<representation binary64> . (192 *.f64 177 88)) (#<representation binary32> . (+inf.0 *.f32 177 88))) #hash((#<representation binary64> . (26176 *.f64 1955 69)) (#<representation binary32> . (+inf.0 *.f32 1955 69))) #hash((#<representation binary64> . (26112 log.f64 104)) (#<representation binary32> . (+inf.0 log.f32 104))) #hash((#<representation binary64> . (448 *.f64 941 466)) (#<representation binary32> . (+inf.0 *.f32 941 466))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6912 *.f64 901 96)) (#<representation binary32> . (+inf.0 *.f32 901 96))) #hash((#<representation binary64> . (13440 +.f64 448 964)) (#<representation binary32> . (+inf.0 fma.f32 565 4 964))) #hash((#<representation binary64> . (320 *.f64 1738 324)) (#<representation binary32> . (+inf.0 *.f32 1738 324))) #hash((#t . (0 . 1/19683))) #hash((#<representation binary64> . (6976 *.f64 113 804)) (#<representation binary32> . (+inf.0 *.f32 113 804))) #hash((#<representation binary64> . (6656 /.f64 16 182)) (#<representation binary32> . (+inf.0 /.f32 16 182))) #hash((#<representation binary64> . (6784 /.f64 718 9)) (#<representation binary32> . (+inf.0 /.f32 718 9))) #hash((#<representation binary64> . (6528 *.f64 44 69)) (#<representation binary32> . (+inf.0 *.f32 44 69))) #hash((#<representation binary64> . (6528 pow.f64 1029 7)) (#<representation binary32> . (+inf.0 pow.f32 1029 7))) #hash((#<representation binary64> . (6592 pow.f64 1028 7)) (#<representation binary32> . (+inf.0 pow.f32 1028 7))) #hash((#<representation binary64> . (6592 pow.f64 15 7)) (#<representation binary32> . (+inf.0 pow.f32 15 7))) #hash((#<representation binary64> . (6528 pow.f64 486 7)) (#<representation binary32> . (+inf.0 pow.f32 486 7))) #hash((#<representation binary64> . (6656 pow.f64 939 7)) (#<representation binary32> . (+inf.0 pow.f32 939 7))) #hash((#<representation binary64> . (6720 *.f64 566 7)) (#<representation binary32> . (+inf.0 *.f32 566 7))) #hash((#<representation binary64> . (576 *.f64 167 167)) (#<representation binary32> . (+inf.0 *.f32 167 167))) #hash((#<representation binary64> . (6720 pow.f64 1004 3)) (#<representation binary32> . (+inf.0 pow.f32 1004 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (256 /.f64 89 549)) (#<representation binary32> . (+inf.0 /.f32 89 549))) #hash((#<representation binary64> . (192 neg.f64 213)) (#<representation binary32> . (+inf.0 neg.f32 213))) #hash((#<representation binary64> . (192 *.f64 4 234)) (#<representation binary32> . (+inf.0 *.f32 4 234))) #hash((#<representation binary64> . (6784 *.f64 16 503)) (#<representation binary32> . (+inf.0 *.f32 16 503))) #hash((#<representation binary64> . (448 neg.f64 1099)) (#<representation binary32> . (+inf.0 neg.f32 1099))) #hash((#<representation binary64> . (6592 pow.f64 1595 3)) (#<representation binary32> . (+inf.0 pow.f32 1595 3))) #hash((#<representation binary64> . (6592 pow.f64 1368 4)) (#<representation binary32> . (+inf.0 pow.f32 1368 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (448 *.f64 308 466)) (#<representation binary32> . (+inf.0 *.f32 308 466))) #hash((#<representation binary64> . (6912 *.f64 16 1099)) (#<representation binary32> . (+inf.0 *.f32 16 1099))) #hash((#<representation binary64> . (384 *.f64 1106 324)) (#<representation binary32> . (+inf.0 *.f32 1106 324))) #hash((#<representation binary64> . (192 *.f64 186 166)) (#<representation binary32> . (+inf.0 *.f32 186 166))) #hash((#<representation binary64> . (192 *.f64 213 4)) (#<representation binary32> . (+inf.0 *.f32 213 4))) #hash((#<representation binary64> . (192 /.f64 1 182)) (#<representation binary32> . (+inf.0 /.f32 1 182))) #hash((#<representation binary64> . (6848 /.f64 1633 4)) (#<representation binary32> . (+inf.0 /.f32 1633 4))) #hash((#<representation binary64> . (6656 *.f64 1 11)) (#<representation binary32> . (+inf.0 *.f32 1 11))) #hash((#<representation binary64> . (192 /.f64 62 549)) (#<representation binary32> . (+inf.0 /.f32 62 549))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 neg.f64 1994)) (#<representation binary32> . (+inf.0 neg.f32 1994))) #hash((#<representation binary64> . (6592 *.f64 491 4)) (#<representation binary32> . (+inf.0 *.f32 491 4))) #hash((#<representation binary64> . (19776 pow.f64 906 69)) (#<representation binary32> . (+inf.0 pow.f32 906 69))) #hash((#<representation binary64> . (384 /.f64 89 113)) (#<representation binary32> . (+inf.0 /.f32 89 113))) #hash((#<representation binary64> . (192 neg.f64 1012)) (#<representation binary32> . (+inf.0 neg.f32 1012))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 pow.f64 2000 4)) (#<representation binary32> . (+inf.0 pow.f32 2000 4))) #hash((#<representation binary64> . (128 /.f64 0 186)) (#<representation binary32> . (+inf.0 /.f32 0 186))) #hash((#<representation binary64> . (6528 *.f64 16 169)) (#<representation binary32> . (+inf.0 *.f32 16 169))) #hash((#<representation binary64> . (6784 *.f64 250 324)) (#<representation binary32> . (+inf.0 *.f32 250 324))) #hash((#<representation binary64> . (6656 pow.f64 1374 69)) (#<representation binary32> . (+inf.0 pow.f32 1374 69))) #hash((#<representation binary64> . (6528 pow.f64 1119 4)) (#<representation binary32> . (+inf.0 pow.f32 1119 4))) #hash((#<representation binary64> . (6848 /.f64 324 93)) (#<representation binary32> . (+inf.0 /.f32 324 93))) #hash((#<representation binary64> . (6720 pow.f64 370 3)) (#<representation binary32> . (+inf.0 pow.f32 370 3))) #hash((#<representation binary64> . (13056 -.f64 1 1247)) (#<representation binary32> . (+inf.0 -.f32 1 1247))) #hash((#<representation binary64> . (320 /.f64 62 113)) (#<representation binary32> . (+inf.0 /.f32 62 113))) #hash((#<representation binary64> . (13376 neg.f64 338)) (#<representation binary32> . (+inf.0 neg.f32 338))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13376 asin.f64 903)) (#<representation binary32> . (+inf.0 asin.f32 903))) #hash((#<representation binary64> . (13376 asin.f64 1199)) (#<representation binary32> . (+inf.0 asin.f32 1199))) #hash((#<representation binary64> . (256 -.f64 1 951)) (#<representation binary32> . (+inf.0 -.f32 1 951))) #hash((#<representation binary64> . (320 /.f64 62 941)) (#<representation binary32> . (+inf.0 /.f32 62 941))) #hash((#<representation binary64> . (320 neg.f64 261)) (#<representation binary32> . (+inf.0 neg.f32 261))) #hash((#<representation binary64> . (6592 pow.f64 1281 4)) (#<representation binary32> . (+inf.0 pow.f32 1281 4))) #hash((#<representation binary64> . (192 /.f64 236 186)) (#<representation binary32> . (+inf.0 /.f32 236 186))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (256 /.f64 89 238)) (#<representation binary32> . (+inf.0 /.f32 89 238))) #hash((#<representation binary64> . (192 *.f64 2 4)) (#<representation binary32> . (+inf.0 *.f32 2 4))) #hash((#<representation binary64> . (6912 *.f64 16 229)) (#<representation binary32> . (+inf.0 *.f32 16 229))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6784 pow.f64 1289 4)) (#<representation binary32> . (+inf.0 pow.f32 1289 4))) #hash((#<representation binary64> . (448 /.f64 62 1099)) (#<representation binary32> . (+inf.0 /.f32 62 1099))) #hash((#<representation binary64> . (6656 neg.f64 10)) (#<representation binary32> . (+inf.0 neg.f32 10))) #hash((#<representation binary64> . (6848 *.f64 629 4)) (#<representation binary32> . (+inf.0 *.f32 629 4))) #hash((#<representation binary64> . (256 *.f64 0 564)) (#<representation binary32> . (+inf.0 *.f32 0 564))) #hash((#<representation binary64> . (6656 pow.f64 1135 4)) (#<representation binary32> . (+inf.0 pow.f32 1135 4))) #hash((#<representation binary64> . (6784 /.f64 324 8)) (#<representation binary32> . (+inf.0 /.f32 324 8))) #hash((#<representation binary64> . (12992 pow.f64 1428 4)) (#<representation binary32> . (+inf.0 pow.f32 1428 4))) #hash((#<representation binary64> . (192 /.f64 62 238)) (#<representation binary32> . (+inf.0 /.f32 62 238))) #hash((#<representation binary64> . (20032 +.f64 1 2041)) (#<representation binary32> . (+inf.0 +.f32 1 2041))) #hash((#<representation binary64> . (19968 +.f64 1246 1218)) (#<representation binary32> . (+inf.0 +.f32 1246 1218))) #hash((#<representation binary64> . (13376 *.f64 121 338)) (#<representation binary32> . (+inf.0 *.f32 121 338))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13056 -.f64 1 1081)) (#<representation binary32> . (+inf.0 -.f32 1 1081))) #hash((#<representation binary64> . (6848 /.f64 131 446)) (#<representation binary32> . (+inf.0 /.f32 131 446))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6720 pow.f64 1280 4)) (#<representation binary32> . (+inf.0 pow.f32 1280 4))) #hash((#<representation binary64> . (320 /.f64 236 13)) (#<representation binary32> . (+inf.0 /.f32 236 13))) #hash((#<representation binary64> . (6720 pow.f64 1229 3)) (#<representation binary32> . (+inf.0 pow.f32 1229 3))) #hash((#<representation binary64> . (256 /.f64 4 259)) (#<representation binary32> . (+inf.0 /.f32 4 259))) #hash((#<representation binary64> . (6592 *.f64 583 4)) (#<representation binary32> . (+inf.0 *.f32 583 4))) #hash((#<representation binary64> . (320 *.f64 2 421)) (#<representation binary32> . (+inf.0 *.f32 2 421))) #hash((#<representation binary64> . (6784 pow.f64 1123 4)) (#<representation binary32> . (+inf.0 pow.f32 1123 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#t . (0 . 1/512))) #hash((#<representation binary64> . (384 /.f64 1012 126)) (#<representation binary32> . (+inf.0 /.f32 1012 126))) #hash((#<representation binary64> . (6784 /.f64 55 4)) (#<representation binary32> . (+inf.0 /.f32 55 4))) #hash((#<representation binary64> . (6592 log.f64 394)) (#<representation binary32> . (+inf.0 log.f32 394))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6784 *.f64 11 564)) (#<representation binary32> . (+inf.0 *.f32 11 564))) #hash((#<representation binary64> . (6528 pow.f64 661 3)) (#<representation binary32> . (+inf.0 pow.f32 661 3))) #hash((#<representation binary64> . (6720 pow.f64 277 3)) (#<representation binary32> . (+inf.0 pow.f32 277 3))) #hash((#<representation binary64> . (320 /.f64 3 261)) (#<representation binary32> . (+inf.0 pow.f32 261 4))) #hash((#<representation binary64> . (13184 -.f64 1 1246)) (#<representation binary32> . (+inf.0 -.f32 1 1246))) #hash((#<representation binary64> . (26112 log.f64 540)) (#<representation binary32> . (+inf.0 log.f32 540))) #hash((#<representation binary64> . (6720 pow.f64 1128 4)) (#<representation binary32> . (+inf.0 pow.f32 1128 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 pow.f64 1374 4)) (#<representation binary32> . (+inf.0 pow.f32 1374 4))) #hash((#<representation binary64> . (6656 *.f64 470 16)) (#<representation binary32> . (+inf.0 *.f32 470 16))) #hash((#<representation binary64> . (6592 pow.f64 1991 4)) (#<representation binary32> . (+inf.0 pow.f32 1991 4))) #hash((#<representation binary64> . (6784 /.f64 96 1228)) (#<representation binary32> . (+inf.0 /.f32 96 1228))) #hash((#<representation binary64> . (320 *.f64 368 564)) (#<representation binary32> . (+inf.0 *.f32 368 564))) #hash((#<representation binary64> . (6848 pow.f64 776 3)) (#<representation binary32> . (+inf.0 pow.f32 776 3))) #hash((#<representation binary64> . (6976 /.f64 89 2046)) (#<representation binary32> . (+inf.0 /.f32 89 2046))) #hash((#<representation binary64> . (128 /.f64 9 69)) (#<representation binary32> . (+inf.0 /.f32 9 69))) #hash((#<representation binary64> . (640 -.f64 1 1452)) (#<representation binary32> . (+inf.0 -.f32 1 1452))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6528 /.f64 16 112)) (#<representation binary32> . (+inf.0 /.f32 16 112))) #hash((#<representation binary64> . (384 /.f64 0 1011)) (#<representation binary32> . (+inf.0 /.f32 0 1011))) #hash((#<representation binary64> . (320 /.f64 3 1011)) (#<representation binary32> . (+inf.0 pow.f32 1011 4))) #hash((#<representation binary64> . (256 *.f64 0 466)) (#<representation binary32> . (+inf.0 *.f32 0 466))) #hash((#<representation binary64> . (192 *.f64 178 466)) (#<representation binary32> . (+inf.0 *.f32 178 466))) #hash((#<representation binary64> . (6592 pow.f64 1552 4)) (#<representation binary32> . (+inf.0 pow.f32 1552 4))) #hash((#<representation binary64> . (320 neg.f64 1011)) (#<representation binary32> . (+inf.0 neg.f32 1011))) #hash((#<representation binary64> . (384 *.f64 99 89)) (#<representation binary32> . (+inf.0 *.f32 99 89))) #hash((#<representation binary64> . (128 *.f64 186 89)) (#<representation binary32> . (+inf.0 *.f32 186 89))) #hash((#<representation binary64> . (448 *.f64 941 421)) (#<representation binary32> . (+inf.0 *.f32 941 421))) #hash((#<representation binary64> . (320 *.f64 941 4)) (#<representation binary32> . (+inf.0 *.f32 941 4))) #hash((#<representation binary64> . (320 *.f64 982 421)) (#<representation binary32> . (+inf.0 *.f32 982 421))) #hash((#<representation binary64> . (192 *.f64 982 4)) (#<representation binary32> . (+inf.0 *.f32 982 4))) #hash((#<representation binary64> . (320 *.f64 203 4)) (#<representation binary32> . (+inf.0 *.f32 203 4))) #hash((#<representation binary64> . (320 /.f64 2 135)) (#<representation binary32> . (+inf.0 /.f32 2 135))) #hash((#<representation binary64> . (6848 *.f64 582 4)) (#<representation binary32> . (+inf.0 *.f32 582 4))) #hash((#<representation binary64> . (13376 +.f64 205 1994)) (#<representation binary32> . (+inf.0 fma.f32 566 4 1994))) #hash((#<representation binary64> . (13376 +.f64 1994 205)) (#<representation binary32> . (+inf.0 fma.f32 491 4 205))) #hash((#<representation binary64> . (6592 *.f64 178 125)) (#<representation binary32> . (+inf.0 *.f32 178 125))) #hash((#<representation binary64> . (6720 pow.f64 2008 4)) (#<representation binary32> . (+inf.0 pow.f32 2008 4))) #hash((#<representation binary64> . (6976 *.f64 1495 308)) (#<representation binary32> . (+inf.0 *.f32 1495 308))) #hash((#<representation binary64> . (320 /.f64 1 826)) (#<representation binary32> . (+inf.0 /.f32 1 826))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6784 /.f64 16 97)) (#<representation binary32> . (+inf.0 /.f32 16 97))) #hash((#<representation binary64> . (6592 pow.f64 1113 4)) (#<representation binary32> . (+inf.0 pow.f32 1113 4))) #hash((#<representation binary64> . (192 /.f64 1 185)) (#<representation binary32> . (+inf.0 /.f32 1 185))) #hash((#<representation binary64> . (6592 pow.f64 1028 4)) (#<representation binary32> . (+inf.0 pow.f32 1028 4))) #hash((#<representation binary64> . (6656 pow.f64 942 4)) (#<representation binary32> . (+inf.0 pow.f32 942 4))) #hash((#<representation binary64> . (6656 pow.f64 820 4)) (#<representation binary32> . (+inf.0 pow.f32 820 4))) #hash((#<representation binary64> . (6528 pow.f64 1027 4)) (#<representation binary32> . (+inf.0 pow.f32 1027 4))) #hash((#<representation binary64> . (256 /.f64 9 982)) (#<representation binary32> . (+inf.0 /.f32 9 982))) #hash((#<representation binary64> . (320 *.f64 3 941)) (#<representation binary32> . (+inf.0 *.f32 3 941))) #hash((#<representation binary64> . (128 *.f64 178 0)) (#<representation binary32> . (+inf.0 *.f32 178 0))) #hash((#<representation binary64> . (192 /.f64 62 421)) (#<representation binary32> . (+inf.0 /.f32 62 421))) #hash((#<representation binary64> . (6656 log.f64 941)) (#<representation binary32> . (+inf.0 log.f32 941))) #hash((#<representation binary64> . (6592 pow.f64 2039 4)) (#<representation binary32> . (+inf.0 pow.f32 2039 4))) #hash((#<representation binary64> . (6784 pow.f64 940 3)) (#<representation binary32> . (+inf.0 pow.f32 940 3))) #hash((#<representation binary64> . (6912 /.f64 96 940)) (#<representation binary32> . (+inf.0 /.f32 96 940))) #hash((#<representation binary64> . (6912 *.f64 1495 126)) (#<representation binary32> . (+inf.0 *.f32 1495 126))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 686 4)) (#<representation binary32> . (+inf.0 pow.f32 686 4))) #hash((#<representation binary64> . (6656 pow.f64 203 69)) (#<representation binary32> . (+inf.0 pow.f32 203 69))) #hash((#<representation binary64> . (6528 pow.f64 470 69)) (#<representation binary32> . (+inf.0 pow.f32 470 69))) #hash((#<representation binary64> . (6592 pow.f64 1172 69)) (#<representation binary32> . (+inf.0 pow.f32 1172 69))) #hash((#<representation binary64> . (6528 pow.f64 238 69)) (#<representation binary32> . (+inf.0 pow.f32 238 69))) #hash((#<representation binary64> . (6656 pow.f64 941 69)) (#<representation binary32> . (+inf.0 pow.f32 941 69))) #hash((#t . (0 . -1/729))) #hash((#<representation binary64> . (6528 pow.f64 982 69)) (#<representation binary32> . (+inf.0 pow.f32 982 69))) #hash((#<representation binary64> . (6592 pow.f64 1455 69)) (#<representation binary32> . (+inf.0 pow.f32 1455 69))) #hash((#<representation binary64> . (6656 pow.f64 113 69)) (#<representation binary32> . (+inf.0 pow.f32 113 69))) #hash((#<representation binary64> . (6528 pow.f64 549 69)) (#<representation binary32> . (+inf.0 pow.f32 549 69))) #hash((#<representation binary64> . (6592 pow.f64 1456 69)) (#<representation binary32> . (+inf.0 pow.f32 1456 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (320 *.f64 177 213)) (#<representation binary32> . (+inf.0 *.f32 177 213))) #hash((#<representation binary64> . (320 *.f64 470 421)) (#<representation binary32> . (+inf.0 *.f32 470 421))) #hash((#<representation binary64> . (320 *.f64 110 213)) (#<representation binary32> . (+inf.0 *.f32 110 213))) #hash((#<representation binary64> . (192 *.f64 178 213)) (#<representation binary32> . (+inf.0 *.f32 178 213))) #hash((#<representation binary64> . (6656 pow.f64 2027 4)) (#<representation binary32> . (+inf.0 pow.f32 2027 4))) #hash((#<representation binary64> . (6784 pow.f64 1996 4)) (#<representation binary32> . (+inf.0 pow.f32 1996 4))) #hash((#<representation binary64> . (6656 pow.f64 1975 4)) (#<representation binary32> . (+inf.0 pow.f32 1975 4))) #hash((#<representation binary64> . (320 *.f64 182 453)) (#<representation binary32> . (+inf.0 *.f32 182 453))) #hash((#<representation binary64> . (448 *.f64 99 365)) (#<representation binary32> . (+inf.0 *.f32 99 365))) #hash((#<representation binary64> . (448 *.f64 167 453)) (#<representation binary32> . (+inf.0 *.f32 167 453))) #hash((#<representation binary64> . (448 /.f64 932 236)) (#<representation binary32> . (+inf.0 /.f32 932 236))) #hash((#<representation binary64> . (320 *.f64 365 185)) (#<representation binary32> . (+inf.0 *.f32 365 185))) #hash((#<representation binary64> . (192 *.f64 453 112)) (#<representation binary32> . (+inf.0 *.f32 453 112))) #hash((#<representation binary64> . (448 *.f64 453 99)) (#<representation binary32> . (+inf.0 *.f32 453 99))) #hash((#<representation binary64> . (320 *.f64 182 365)) (#<representation binary32> . (+inf.0 *.f32 182 365))) #hash((#<representation binary64> . (320 *.f64 365 182)) (#<representation binary32> . (+inf.0 *.f32 365 182))) #hash((#<representation binary64> . (448 *.f64 167 365)) (#<representation binary32> . (+inf.0 *.f32 167 365))) #hash((#<representation binary64> . (448 *.f64 365 167)) (#<representation binary32> . (+inf.0 *.f32 365 167))) #hash((#<representation binary64> . (320 *.f64 185 453)) (#<representation binary32> . (+inf.0 *.f32 185 453))) #hash((#<representation binary64> . (320 *.f64 185 365)) (#<representation binary32> . (+inf.0 *.f32 185 365))) #hash((#<representation binary64> . (320 *.f64 453 185)) (#<representation binary32> . (+inf.0 *.f32 453 185))) #hash((#<representation binary64> . (192 *.f64 365 112)) (#<representation binary32> . (+inf.0 *.f32 365 112))) #hash((#<representation binary64> . (192 *.f64 186 453)) (#<representation binary32> . (+inf.0 *.f32 186 453))) #hash((#<representation binary64> . (256 *.f64 9 453)) (#<representation binary32> . (+inf.0 *.f32 9 453))) #hash((#<representation binary64> . (320 *.f64 941 88)) (#<representation binary32> . (+inf.0 *.f32 941 88))) #hash((#<representation binary64> . (192 *.f64 186 365)) (#<representation binary32> . (+inf.0 *.f32 186 365))) #hash((#<representation binary64> . (192 *.f64 982 88)) (#<representation binary32> . (+inf.0 *.f32 982 88))) #hash((#<representation binary64> . (256 *.f64 453 9)) (#<representation binary32> . (+inf.0 *.f32 453 9))) #hash((#<representation binary64> . (320 *.f64 88 941)) (#<representation binary32> . (+inf.0 *.f32 88 941))) #hash((#<representation binary64> . (448 *.f64 213 941)) (#<representation binary32> . (+inf.0 *.f32 213 941))) #hash((#<representation binary64> . (320 *.f64 982 213)) (#<representation binary32> . (+inf.0 *.f32 982 213))) #hash((#<representation binary64> . (13056 *.f64 20 4)) (#<representation binary32> . (+inf.0 *.f32 20 4))) #hash((#<representation binary64> . (6720 *.f64 110 125)) (#<representation binary32> . (+inf.0 *.f32 110 125))) #hash((#<representation binary64> . (6592 pow.f64 975 3)) (#<representation binary32> . (+inf.0 pow.f32 975 3))) #hash((#<representation binary64> . (6656 pow.f64 1569 7)) (#<representation binary32> . (+inf.0 pow.f32 1569 7))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6656 /.f64 11 3)) (#<representation binary32> . (+inf.0 /.f32 11 3))) #hash((#<representation binary64> . (320 neg.f64 97)) (#<representation binary32> . (+inf.0 neg.f32 97))) #hash((#<representation binary64> . (192 neg.f64 453)) (#<representation binary32> . (+inf.0 neg.f32 453))) #hash((#<representation binary64> . (448 neg.f64 940)) (#<representation binary32> . (+inf.0 neg.f32 940))) #hash((#<representation binary64> . (6848 *.f64 1495 2)) (#<representation binary32> . (+inf.0 *.f32 1495 2))) #hash((#<representation binary64> . (192 *.f64 179 324)) (#<representation binary32> . (+inf.0 *.f32 179 324))) #hash((#<representation binary64> . (6784 *.f64 324 12)) (#<representation binary32> . (+inf.0 *.f32 324 12))) #hash((#<representation binary64> . (6848 *.f64 324 255)) (#<representation binary32> . (+inf.0 *.f32 324 255))) #hash((#<representation binary64> . (6848 *.f64 712 91)) (#<representation binary32> . (+inf.0 *.f32 712 91))) #hash((#<representation binary64> . (6976 /.f64 1593 13)) (#<representation binary32> . (+inf.0 /.f32 1593 13))) #hash((#<representation binary64> . (6912 /.f64 1633 9)) (#<representation binary32> . (+inf.0 /.f32 1633 9))) #hash((#<representation binary64> . (13376 *.f64 996 4)) (#<representation binary32> . (+inf.0 *.f32 996 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6784 *.f64 1093 96)) (#<representation binary32> . (+inf.0 *.f32 1093 96))) #hash((#<representation binary64> . (6528 pow.f64 1007 4)) (#<representation binary32> . (+inf.0 pow.f32 1007 4))) #hash((#<representation binary64> . (6656 /.f64 96 453)) (#<representation binary32> . (+inf.0 /.f32 96 453))) #hash((#<representation binary64> . (6848 /.f64 1200 4)) (#<representation binary32> . (+inf.0 /.f32 1200 4))) #hash((#<representation binary64> . (6720 *.f64 14 4)) (#<representation binary32> . (+inf.0 *.f32 14 4))) #hash((#<representation binary64> . (6720 *.f64 1495 3)) (#<representation binary32> . (+inf.0 *.f32 1495 3))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (19712 pow.f64 161 459)) (#<representation binary32> . (+inf.0 pow.f32 161 459))) #hash((#<representation binary64> . (384 *.f64 424 91)) (#<representation binary32> . (+inf.0 *.f32 424 91))) #hash((#<representation binary64> . (320 /.f64 91 365)) (#<representation binary32> . (+inf.0 /.f32 91 365))) #hash((#<representation binary64> . (13120 pow.f64 1225 4)) (#<representation binary32> . (+inf.0 pow.f32 1225 4))) #hash((#<representation binary64> . (384 /.f64 0 261)) (#<representation binary32> . (+inf.0 /.f32 0 261))) #hash((#<representation binary64> . (13184 pow.f64 1445 4)) (#<representation binary32> . (+inf.0 pow.f32 1445 4))) #hash((#<representation binary64> . (13056 pow.f64 1238 4)) (#<representation binary32> . (+inf.0 pow.f32 1238 4))) #hash((#<representation binary64> . (384 *.f64 15 365)) (#<representation binary32> . (+inf.0 *.f32 15 365))) #hash((#<representation binary64> . (6784 *.f64 13 386)) (#<representation binary32> . (+inf.0 *.f32 13 386))) #hash((#<representation binary64> . (6848 neg.f64 255)) (#<representation binary32> . (+inf.0 neg.f32 255))) #hash((#<representation binary64> . (6784 *.f64 126 82)) (#<representation binary32> . (+inf.0 *.f32 126 82))) #hash((#<representation binary64> . (6720 *.f64 1647 0)) (#<representation binary32> . (+inf.0 *.f32 1647 0))) #hash((#<representation binary64> . (19776 +.f64 475 303)) (#<representation binary32> . (+inf.0 fma.f32 18 4 303))) #hash((#<representation binary64> . (19776 +.f64 303 475)) (#<representation binary32> . (+inf.0 +.f32 303 475))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13376 *.f64 2211 4)) (#<representation binary32> . (+inf.0 *.f32 2211 4))) #hash((#<representation binary64> . (13312 log.f64 1652)) (#<representation binary32> . (+inf.0 log.f32 1652))) #hash((#<representation binary64> . (6720 *.f64 125 466)) (#<representation binary32> . (+inf.0 *.f32 125 466))) #hash((#<representation binary64> . (6720 *.f64 131 4)) (#<representation binary32> . (+inf.0 *.f32 131 4))) #hash((#<representation binary64> . (6528 pow.f64 465 4)) (#<representation binary32> . (+inf.0 pow.f32 465 4))) #hash((#<representation binary64> . (6528 *.f64 16 971)) (#<representation binary32> . (+inf.0 *.f32 16 971))) #hash((#<representation binary64> . (13120 +.f64 964 315)) (#<representation binary32> . (+inf.0 fma.f32 920 143 315))) #hash((#<representation binary64> . (6656 pow.f64 685 4)) (#<representation binary32> . (+inf.0 pow.f32 685 4))) #hash((#<representation binary64> . (6784 /.f64 96 211)) (#<representation binary32> . (+inf.0 /.f32 96 211))) #hash((#<representation binary64> . (6912 *.f64 96 901)) (#<representation binary32> . (+inf.0 *.f32 96 901))) #hash((#<representation binary64> . (13440 +.f64 964 448)) (#<representation binary32> . (+inf.0 +.f32 964 448))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6976 *.f64 803 466)) (#<representation binary32> . (+inf.0 *.f32 803 466))) #hash((#<representation binary64> . (6848 *.f64 131 421)) (#<representation binary32> . (+inf.0 *.f32 131 421))) #hash((#<representation binary64> . (39616 +.f64 977 977)) (#<representation binary32> . (+inf.0 fma.f32 344 69 977))) #hash((#<representation binary64> . (6848 *.f64 826 809)) (#<representation binary32> . (+inf.0 *.f32 826 809))) #hash((#<representation binary64> . (6720 pow.f64 1277 4)) (#<representation binary32> . (+inf.0 pow.f32 1277 4))) #hash((#<representation binary64> . (6656 *.f64 16 234)) (#<representation binary32> . (+inf.0 *.f32 16 234))) #hash((#<representation binary64> . (6720 *.f64 982 125)) (#<representation binary32> . (+inf.0 *.f32 982 125))) #hash((#<representation binary64> . (6592 pow.f64 1108 4)) (#<representation binary32> . (+inf.0 pow.f32 1108 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6720 *.f64 131 224)) (#<representation binary32> . (+inf.0 *.f32 131 224))) #hash((#<representation binary64> . (6976 *.f64 421 922)) (#<representation binary32> . (+inf.0 *.f32 421 922))) #hash((#<representation binary64> . (12992 pow.f64 393 7)) (#<representation binary32> . (+inf.0 pow.f32 393 7))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 *.f64 941 125)) (#<representation binary32> . (+inf.0 *.f32 941 125))) #hash((#<representation binary64> . (6592 pow.f64 1209 3)) (#<representation binary32> . (+inf.0 pow.f32 1209 3))) #hash((#<representation binary64> . (12992 pow.f64 17 7)) (#<representation binary32> . (+inf.0 pow.f32 17 7))) #hash((#<representation binary64> . (320 /.f64 135 234)) (#<representation binary32> . (+inf.0 /.f32 135 234))) #hash((#<representation binary64> . (13184 +.f64 1994 964)) (#<representation binary32> . (+inf.0 fma.f32 491 4 964))) #hash((#<representation binary64> . (256 /.f64 89 982)) (#<representation binary32> . (+inf.0 /.f32 89 982))) #hash((#<representation binary64> . (6592 pow.f64 1169 3)) (#<representation binary32> . (+inf.0 pow.f32 1169 3))) #hash((#<representation binary64> . (12992 pow.f64 1428 69)) (#<representation binary32> . (+inf.0 pow.f32 1428 69))) #hash((#<representation binary64> . (13056 *.f64 38 69)) (#<representation binary32> . (+inf.0 *.f32 38 69))) #hash((#<representation binary64> . (6528 *.f64 169 16)) (#<representation binary32> . (+inf.0 *.f32 169 16))) #hash((#<representation binary64> . (6848 *.f64 131 466)) (#<representation binary32> . (+inf.0 *.f32 131 466))) #hash((#<representation binary64> . (6656 pow.f64 392 7)) (#<representation binary32> . (+inf.0 pow.f32 392 7))) #hash((#<representation binary64> . (13056 pow.f64 2033 4)) (#<representation binary32> . (+inf.0 pow.f32 2033 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 *.f64 4 125)) (#<representation binary32> . (+inf.0 *.f32 4 125))) #hash((#<representation binary64> . (6528 pow.f64 185 69)) (#<representation binary32> . (+inf.0 pow.f32 185 69))) #hash((#<representation binary64> . (6528 /.f64 16 542)) (#<representation binary32> . (+inf.0 /.f32 16 542))) #hash((#<representation binary64> . (192 /.f64 182 69)) (#<representation binary32> . (+inf.0 /.f32 182 69))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 394 3)) (#<representation binary32> . (+inf.0 pow.f32 394 3))) #hash((#<representation binary64> . (13120 +.f64 303 546)) (#<representation binary32> . (+inf.0 +.f32 303 546))) #hash((#<representation binary64> . (6720 pow.f64 1614 3)) (#<representation binary32> . (+inf.0 pow.f32 1614 3))) #hash((#<representation binary64> . (6656 pow.f64 97 3)) (#<representation binary32> . (+inf.0 pow.f32 97 3))) #hash((#<representation binary64> . (6720 pow.f64 796 3)) (#<representation binary32> . (+inf.0 pow.f32 796 3))) #hash((#<representation binary64> . (6848 pow.f64 1151 3)) (#<representation binary32> . (+inf.0 pow.f32 1151 3))) #hash((#<representation binary64> . (6592 pow.f64 1274 4)) (#<representation binary32> . (+inf.0 pow.f32 1274 4))) #hash((#<representation binary64> . (6592 pow.f64 1275 4)) (#<representation binary32> . (+inf.0 pow.f32 1275 4))) #hash((#<representation binary64> . (6592 pow.f64 1276 4)) (#<representation binary32> . (+inf.0 pow.f32 1276 4))) #hash((#<representation binary64> . (6848 pow.f64 1137 3)) (#<representation binary32> . (+inf.0 pow.f32 1137 3))) #hash((#<representation binary64> . (6592 pow.f64 1282 4)) (#<representation binary32> . (+inf.0 pow.f32 1282 4))) #hash((#<representation binary64> . (6592 pow.f64 1092 4)) (#<representation binary32> . (+inf.0 pow.f32 1092 4))) #hash((#<representation binary64> . (6720 pow.f64 1110 4)) (#<representation binary32> . (+inf.0 pow.f32 1110 4))) #hash((#<representation binary64> . (6720 pow.f64 1269 4)) (#<representation binary32> . (+inf.0 pow.f32 1269 4))) #hash((#<representation binary64> . (6720 pow.f64 1270 4)) (#<representation binary32> . (+inf.0 pow.f32 1270 4))) #hash((#<representation binary64> . (6784 pow.f64 1271 4)) (#<representation binary32> . (+inf.0 pow.f32 1271 4))) #hash((#<representation binary64> . (6784 pow.f64 1272 4)) (#<representation binary32> . (+inf.0 pow.f32 1272 4))) #hash((#<representation binary64> . (6720 pow.f64 1083 4)) (#<representation binary32> . (+inf.0 pow.f32 1083 4))) #hash((#t . (0 . 18))) #hash((#<representation binary64> . (6784 pow.f64 994 3)) (#<representation binary32> . (+inf.0 pow.f32 994 3))) #hash((#<representation binary64> . (6848 pow.f64 1089 4)) (#<representation binary32> . (+inf.0 pow.f32 1089 4))) #hash((#<representation binary64> . (6848 pow.f64 1090 4)) (#<representation binary32> . (+inf.0 pow.f32 1090 4))) #hash((#<representation binary64> . (6848 pow.f64 1284 4)) (#<representation binary32> . (+inf.0 pow.f32 1284 4))) #hash((#<representation binary64> . (192 /.f64 3 234)) (#<representation binary32> . (+inf.0 pow.f32 234 4))) #hash((#<representation binary64> . (6656 pow.f64 1293 4)) (#<representation binary32> . (+inf.0 pow.f32 1293 4))) #hash((#<representation binary64> . (6720 pow.f64 1141 4)) (#<representation binary32> . (+inf.0 pow.f32 1141 4))) #hash((#<representation binary64> . (6720 pow.f64 927 3)) (#<representation binary32> . (+inf.0 pow.f32 927 3))) #hash((#<representation binary64> . (6656 pow.f64 1278 4)) (#<representation binary32> . (+inf.0 pow.f32 1278 4))) #hash((#<representation binary64> . (6720 pow.f64 1094 4)) (#<representation binary32> . (+inf.0 pow.f32 1094 4))) #hash((#<representation binary64> . (6720 pow.f64 1095 4)) (#<representation binary32> . (+inf.0 pow.f32 1095 4))) #hash((#<representation binary64> . (6656 pow.f64 1111 4)) (#<representation binary32> . (+inf.0 pow.f32 1111 4))) #hash((#<representation binary64> . (6592 pow.f64 1131 4)) (#<representation binary32> . (+inf.0 pow.f32 1131 4))) #hash((#<representation binary64> . (6592 pow.f64 1117 4)) (#<representation binary32> . (+inf.0 pow.f32 1117 4))) #hash((#<representation binary64> . (6720 pow.f64 1121 4)) (#<representation binary32> . (+inf.0 pow.f32 1121 4))) #hash((#<representation binary64> . (6720 pow.f64 1297 4)) (#<representation binary32> . (+inf.0 pow.f32 1297 4))) #hash((#<representation binary64> . (6720 pow.f64 1299 4)) (#<representation binary32> . (+inf.0 pow.f32 1299 4))) #hash((#<representation binary64> . (6592 pow.f64 1300 4)) (#<representation binary32> . (+inf.0 pow.f32 1300 4))) #hash((#<representation binary64> . (6528 pow.f64 166 3)) (#<representation binary32> . (+inf.0 pow.f32 166 3))) #hash((#<representation binary64> . (6656 pow.f64 933 3)) (#<representation binary32> . (+inf.0 pow.f32 933 3))) #hash((#<representation binary64> . (6656 pow.f64 1503 3)) (#<representation binary32> . (+inf.0 pow.f32 1503 3))) #hash((#<representation binary64> . (6656 pow.f64 1555 3)) (#<representation binary32> . (+inf.0 pow.f32 1555 3))) #hash((#<representation binary64> . (6592 pow.f64 814 3)) (#<representation binary32> . (+inf.0 pow.f32 814 3))) #hash((#<representation binary64> . (6656 pow.f64 2241 3)) (#<representation binary32> . (+inf.0 pow.f32 2241 3))) #hash((#<representation binary64> . (6720 pow.f64 1044 3)) (#<representation binary32> . (+inf.0 pow.f32 1044 3))) #hash((#<representation binary64> . (6720 pow.f64 1814 3)) (#<representation binary32> . (+inf.0 pow.f32 1814 3))) #hash((#<representation binary64> . (6592 pow.f64 1662 3)) (#<representation binary32> . (+inf.0 pow.f32 1662 3))) #hash((#<representation binary64> . (6848 *.f64 565 3)) (#<representation binary32> . (+inf.0 *.f32 565 3))) #hash((#<representation binary64> . (6784 *.f64 126 125)) (#<representation binary32> . (+inf.0 *.f32 126 125))) #hash((#t . (0 . 19683))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6720 *.f64 2 125)) (#<representation binary32> . (+inf.0 *.f32 2 125))) #hash((#<representation binary64> . (256 /.f64 9 713)) (#<representation binary32> . (+inf.0 /.f32 9 713))) #hash((#<representation binary64> . (6656 *.f64 2 96)) (#<representation binary32> . (+inf.0 *.f32 2 96))) #hash((#<representation binary64> . (6528 log.f64 1027)) (#<representation binary32> . (+inf.0 log.f32 1027))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 pow.f64 1422 4)) (#<representation binary32> . (+inf.0 pow.f32 1422 4))) #hash((#<representation binary64> . (19776 *.f64 344 62)) (#<representation binary32> . (+inf.0 *.f32 344 62))) #hash((#<representation binary64> . (12992 pow.f64 10 7)) (#<representation binary32> . (+inf.0 pow.f32 10 7))) #hash((#<representation binary64> . (13056 pow.f64 381 7)) (#<representation binary32> . (+inf.0 pow.f32 381 7))) #hash((#<representation binary64> . (13184 *.f64 18 7)) (#<representation binary32> . (+inf.0 *.f32 18 7))) #hash((#<representation binary64> . (6592 *.f64 3 125)) (#<representation binary32> . (+inf.0 *.f32 3 125))) #hash((#<representation binary64> . (6656 *.f64 96 2)) (#<representation binary32> . (+inf.0 *.f32 96 2))) #hash((#<representation binary64> . (6656 *.f64 236 96)) (#<representation binary32> . (+inf.0 *.f32 236 96))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 /.f64 182 131)) (#<representation binary32> . (+inf.0 /.f32 182 131))) #hash((#<representation binary64> . (19712 pow.f64 361 169)) (#<representation binary32> . (+inf.0 pow.f32 361 169))) #hash((#<representation binary64> . (13376 acos.f64 1199)) (#<representation binary32> . (+inf.0 acos.f32 1199))) #hash((#<representation binary64> . (6912 *.f64 1105 82)) (#<representation binary32> . (+inf.0 *.f32 1105 82))) #hash((#<representation binary64> . (192 neg.f64 713)) (#<representation binary32> . (+inf.0 neg.f32 713))) #hash((#<representation binary64> . (6720 *.f64 82 91)) (#<representation binary32> . (+inf.0 *.f32 82 91))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (192 *.f64 110 88)) (#<representation binary32> . (+inf.0 *.f32 110 88))) #hash((#<representation binary64> . (1024 +.f64 1 1451)) (#<representation binary32> . (+inf.0 +.f32 1 1451))) #hash((#<representation binary64> . (6720 *.f64 568 4)) (#<representation binary32> . (+inf.0 *.f32 568 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (256 /.f64 562 3)) (#<representation binary32> . (+inf.0 /.f32 562 3))) #hash((#<representation binary64> . (13376 acos.f64 903)) (#<representation binary32> . (+inf.0 acos.f32 903))) #hash((#<representation binary64> . (128 /.f64 1 89)) (#<representation binary32> . (+inf.0 /.f32 1 89))) #hash((#<representation binary64> . (13184 -.f64 1 1244)) (#<representation binary32> . (+inf.0 -.f32 1 1244))) #hash((#<representation binary64> . (13248 *.f64 23 4)) (#<representation binary32> . (+inf.0 *.f32 23 4))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (13312 acos.f64 73)) (#<representation binary32> . (+inf.0 acos.f32 73))) #hash((#<representation binary64> . (13440 +.f64 448 546)) (#<representation binary32> . (+inf.0 fma.f32 565 4 546))) #hash((#<representation binary64> . (448 +.f64 1 950)) (#<representation binary32> . (+inf.0 +.f32 1 950))) #hash((#<representation binary64> . (13184 pow.f64 93 7)) (#<representation binary32> . (+inf.0 pow.f32 93 7))) #hash((#<representation binary64> . (6656 pow.f64 261 7)) (#<representation binary32> . (+inf.0 pow.f32 261 7))) #hash((#<representation binary64> . (13184 pow.f64 1445 7)) (#<representation binary32> . (+inf.0 pow.f32 1445 7))) #hash((#<representation binary64> . (6592 pow.f64 817 7)) (#<representation binary32> . (+inf.0 pow.f32 817 7))) #hash((#<representation binary64> . (13056 pow.f64 1238 7)) (#<representation binary32> . (+inf.0 pow.f32 1238 7))) #hash((#<representation binary64> . (6592 pow.f64 1754 7)) (#<representation binary32> . (+inf.0 pow.f32 1754 7))) #hash((#<representation binary64> . (13248 pow.f64 1174 7)) (#<representation binary32> . (+inf.0 pow.f32 1174 7))) #hash((#<representation binary64> . (13184 pow.f64 1075 7)) (#<representation binary32> . (+inf.0 pow.f32 1075 7))) #hash((#<representation binary64> . (13184 pow.f64 780 7)) (#<representation binary32> . (+inf.0 pow.f32 780 7))) #hash((#<representation binary64> . (6720 /.f64 125 135)) (#<representation binary32> . (+inf.0 /.f32 125 135))) #hash((#<representation binary64> . (13312 acos.f64 201)) (#<representation binary32> . (+inf.0 acos.f32 201))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6592 log.f64 559)) (#<representation binary32> . (+inf.0 log.f32 559))) #hash((#<representation binary64> . (6592 log.f64 1368)) (#<representation binary32> . (+inf.0 log.f32 1368))) #hash((#<representation binary64> . (13440 +.f64 546 448)) (#<representation binary32> . (+inf.0 +.f32 546 448))) #hash((#<representation binary64> . (6528 *.f64 19 7)) (#<representation binary32> . (+inf.0 *.f32 19 7))) #hash((#<representation binary64> . (6592 pow.f64 1456 4)) (#<representation binary32> . (+inf.0 pow.f32 1456 4))) #hash((#<representation binary64> . (6912 /.f64 96 658)) (#<representation binary32> . (+inf.0 /.f32 96 658))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 *.f64 236 804)) (#<representation binary32> . (+inf.0 *.f32 236 804))) #hash((#<representation binary64> . (13376 asin.f64 563)) (#<representation binary32> . (+inf.0 asin.f32 563))) #hash((#<representation binary64> . (13376 asin.f64 489)) (#<representation binary32> . (+inf.0 asin.f32 489))) #hash((#<representation binary64> . (13376 asin.f64 1470)) (#<representation binary32> . (+inf.0 asin.f32 1470))) #hash((#<representation binary64> . (13376 asin.f64 2183)) (#<representation binary32> . (+inf.0 asin.f32 2183))) #hash((#<representation binary64> . (13312 asin.f64 2184)) (#<representation binary32> . (+inf.0 asin.f32 2184))) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . #f) (#<representation binary32> . #f)) #hash((#<representation binary64> . (6848 *.f64 470 804)) (#<representation binary32> . (+inf.0 *.f32 470 804))) #hash((#<representation binary64> . (384 *.f64 15 135)) (#<representation binary32> . (+inf.0 *.f32 15 135))) #hash((#<representation binary64> . (6528 /.f64 16 79)) (#<representation binary32> . (+inf.0 /.f32 16 79))) #hash((#<representation binary64> . (6912 /.f64 96 969)) (#<representation binary32> . (+inf.0 /.f32 96 969))) #hash((#<representation binary64> . (6656 *.f64 62 386)) (#<representation binary32> . (+inf.0 *.f32 62 386))) #hash((#<representation binary64> . (6976 /.f64 62 1494)) (#<representation binary32> . (+inf.0 /.f32 62 1494))) #hash((#<representation binary64> . (6976 neg.f64 1652)) (#<representation binary32> . (+inf.0 neg.f32 1652))) #hash((#<representation binary64> . (6912 neg.f64 2046)) (#<representation binary32> . (+inf.0 neg.f32 2046))) #hash((#<representation binary64> . (6720 *.f64 236 809)) (#<representation binary32> . (+inf.0 *.f32 236 809))) #hash((#<representation binary64> . (6592 *.f64 24 4)) (#<representation binary32> . (+inf.0 *.f32 24 4))) #hash((#<representation binary64> . (6400 log.f64 7)) (#<representation binary32> . (3200 log.f32 7))) #hash((#<representation binary64> . (576 *.f64 211 211)) (#<representation binary32> . (+inf.0 *.f32 211 211))) #hash((#<representation binary64> . (6592 pow.f64 1455 4)) (#<representation binary32> . (+inf.0 pow.f32 1455 4))) #hash((#t . (0 . -9))) #hash((#<representation binary64> . (13376 *.f64 121 272)) (#<representation binary32> . (+inf.0 *.f32 121 272))) #hash((#<representation binary64> . (6656 *.f64 16 549)) (#<representation binary32> . (+inf.0 *.f32 16 549))) #hash((#<representation binary64> . (6784 *.f64 16 113)) (#<representation binary32> . (+inf.0 *.f32 16 113))))		L	C
run-egg	/home/nightlies/herbie/spec-rewriting/src/core/egg-herbie.rkt	1426	0
rewrite-expressions	/home/nightlies/herbie/spec-rewriting/src/core/rr.rkt	45	0
run-rr	/home/nightlies/herbie/spec-rewriting/src/patch.rkt	95	0
patch-table-run	/home/nightlies/herbie/spec-rewriting/src/patch.rkt	172	0
run-iter!	/home/nightlies/herbie/spec-rewriting/src/mainloop.rkt	71	0
mutate!	/home/nightlies/herbie/spec-rewriting/src/mainloop.rkt	63	0
run-improve!	/home/nightlies/herbie/spec-rewriting/src/mainloop.rkt	49	0
get-alternatives/report	/home/nightlies/herbie/spec-rewriting/src/sandbox.rkt	171	0
(unnamed)	/home/nightlies/herbie/spec-rewriting/src/sandbox.rkt	272	6
(unnamed)	/usr/local/racket/share/pkgs/profile-lib/main.rkt	40	10
profile-thunk	/usr/local/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/usr/local/racket/collects/racket/engine.rkt	42	24