Herbie run

Date:Wednesday, December 4th, 2024
Commit:4b098aa3 on main
Hostname:nightly with Racket 8.10
Seed:2024339
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:574 554.2 MB

Time bar (total: 7.3min)

sample1.4min (19.7%)

Memory
1 701.7MiB live, 125 598.8MiB allocated
Samples
58.8s262 348×0valid
2.3s11 035×0invalid
2.2s7 859×1valid
648.0ms2 240×2valid
326.0ms1 560×1exit
275.0ms653×1invalid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 51.3s
ival-mult: 9.9s (19.3% of total)
const: 8.0s (15.5% of total)
ival-<=: 7.5s (14.6% of total)
ival-div: 4.3s (8.3% of total)
ival-sub: 2.6s (5% of total)
ival-add: 2.1s (4.1% of total)
ival-sqrt: 1.7s (3.2% of total)
ival-fabs: 1.6s (3.1% of total)
ival-log: 1.4s (2.8% of total)
ival-and: 1.2s (2.4% of total)
ival-floor: 1.2s (2.3% of total)
ival-sin: 989.0ms (1.9% of total)
ival-exp: 963.0ms (1.9% of total)
ival-pow: 936.0ms (1.8% of total)
ival-sinu: 832.0ms (1.6% of total)
ival-neg: 572.0ms (1.1% of total)
ival-cosu: 490.0ms (1% of total)
exact: 474.0ms (0.9% of total)
ival-pi: 465.0ms (0.9% of total)
adjust: 461.0ms (0.9% of total)
ival-cos: 445.0ms (0.9% of total)
ival-fmax: 418.0ms (0.8% of total)
ival-pow2: 409.0ms (0.8% of total)
ival-e: 366.0ms (0.7% of total)
ival-tan: 361.0ms (0.7% of total)
ival-log2: 243.0ms (0.5% of total)
ival-if: 216.0ms (0.4% of total)
ival->: 202.0ms (0.4% of total)
ival-asin: 183.0ms (0.4% of total)
ival-<: 179.0ms (0.3% of total)
ival-log1p: 175.0ms (0.3% of total)
ival-sinh: 155.0ms (0.3% of total)
ival-atan: 119.0ms (0.2% of total)
ival-==: 119.0ms (0.2% of total)
ival-assert: 113.0ms (0.2% of total)
ival->=: 48.0ms (0.1% of total)
ival-true: 23.0ms (0% of total)
Bogosity

simplify50.4s (11.5%)

Memory
478.1MiB live, 60 826.0MiB allocated
Algorithm
293×egg-herbie
Stop Event
394×iter limit
268×node limit
21×saturated
4×unsound
Counts
15 891 → 15 803

eval45.2s (10.3%)

Memory
-83.8MiB live, 66 132.0MiB allocated
Compiler

Compiled 48 559 211 to 662 171 computations (98.6% saved)

regimes42.3s (9.7%)

Memory
156.8MiB live, 56 289.6MiB allocated
Counts
20 207 → 470
Calls

160 calls:

1.8s
s
1.5s
u
1.2s
maxAniso
957.0ms
dY.v
939.0ms
ux
Compiler

Compiled 31 803 to 19 397 computations (39% saved)

soundness41.2s (9.4%)

Memory
342.5MiB live, 31 151.0MiB allocated
Stop Event
297×iter limit
197×node limit
32×fuel
1×unsound
1×done
Compiler

Compiled 135 587 to 25 438 computations (81.2% saved)

prune34.9s (8%)

Memory
-37.5MiB live, 49 146.4MiB allocated
Counts
155 787 → 6 811
Compiler

Compiled 1 421 368 to 401 987 computations (71.7% saved)

series34.0s (7.8%)

Memory
757.8MiB live, 49 564.1MiB allocated
Counts
2 548 → 15 891
Calls

1434 calls:

TimeVariablePointExpression
9.1s
u1
@0
((* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)) (* (/ 1 (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax))) u0) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax))) u0) (- 1 u0))) (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) 1)) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (+ (* 2 u1) 1/2) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (+ (* 2 u1) 1/2) (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax)) (cos (* (PI) (+ (* 2 u1) 1/2))) (* (/ alphay alphax) (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (* (PI) (+ (* 2 u1) 1/2))))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2))
2.7s
u1
@0
((* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (/ 1 (sqrt (+ 1 (/ u0 (* (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0)))))) (sqrt (+ 1 (/ u0 (* (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0))))) (+ 1 (/ u0 (* (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0)))) (* (/ 1 (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax))) u0) (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax)) (+ 1 (/ (* (/ 1 (/ (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* alphay alphax))) u0) (- 1 u0))) (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* (/ 1 (+ (/ (+ (* (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2)) 1/2) 1/2) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (+ (* 2 u1) 1/2) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) (cos (* (PI) (+ (* 2 u1) 1/2))) (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (+ (* (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphay) alphax) (* alphay (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (+ (* (cos (* (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) 2)) 1/2) 1/2))
746.0ms
dY.w
@0
((* (* (floor d) dX.w) (* (floor d) dX.w)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* (floor d) dY.w) (* (floor d) dY.w)) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.w (floor d)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.w (floor d)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2)))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.w (floor d)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (exp (+ (* (log dY.w) 2) (log (pow (floor d) 2)))) (* (* (pow (floor d) 2) dX.w) dX.w) (+ (* (pow (floor d) 2) (* dX.w dX.w)) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (* (neg (neg (* (neg dY.u) (floor w)))) (neg (neg (* (neg dY.u) (floor w))))) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2) (+ (* (log dY.w) 2) (log (pow (floor d) 2))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (exp (+ (* (log dY.w) 2) (log (pow (floor d) 2))))))) (sqrt (fmax (+ (* (pow (floor d) 2) (* dX.w dX.w)) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (pow (* dX.u (floor w)) 2) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (neg (neg (* (neg dY.u) (floor w)))) (neg (neg (* (neg dY.u) (floor w))))) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))))))
360.0ms
x
@-inf
((* c (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (* y (- (exp x) 1)) (+ (* y (- (exp x) 1)) -1)))))) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (* y (- (exp x) 1)) (+ (* y (- (exp x) 1)) -1))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (* (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) c) (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) (* y x) (+ (* (* (* (* (+ (* -1/2 y) 1/2) y) c) x) x) (* (* y x) c)) (* (log (+ 1 (* y (- (exp x) 1)))) c) (* (* (* (+ (* -1/2 y) 1/2) y) c) x) (* (* (+ (* -1/2 y) 1/2) y) c) (+ (* 1/3 (* x y)) (- (* -1/2 x) 1/2)) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (* (+ (* (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (+ (* y y) (neg y)) -1/2)) x) y) x) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (- (pow (E) x) 1) y) (log (+ 1 (* (* y (- (exp x) 1)) (+ (* y (- (exp x) 1)) -1)))) (* (* y x) c) (+ (* (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (+ (* y y) (neg y)) -1/2)) x) y) (- (pow (E) x) 1) (pow (E) x))
353.0ms
s
@0
((* 1 (- 1 (pow (/ (- u 1/4) 3/4) 2))) (- 1 (/ (- u 1/4) 3/4)) (log (* 1 (- 1 (pow (/ (- u 1/4) 3/4) 2)))) (* (* 3 s) (- (log (* 1 (- 1 (pow (/ (- u 1/4) 3/4) 2)))) (log (* (- 1 (pow (/ (- u 1/4) 3/4) 2)) (- 1 (/ (- u 1/4) 3/4)))))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (log 27/64) s) (log 27/64) (* (neg (log (- 4/3 (/ u 3/4)))) 3) (* (* (neg (log (- 4/3 (/ u 3/4)))) 3) s) (neg (log (- 4/3 (/ u 3/4)))) (log (- 4/3 (/ u 3/4))) (* (* 3 s) (* -1/2 (log (pow (- 1 (/ (- u 1/4) 3/4)) 2)))) (* 3 s) (* -1/2 (log (pow (- 1 (/ (- u 1/4) 3/4)) 2))) (log (pow (- 1 (/ (- u 1/4) 3/4)) 2)) (* (* 3 s) (+ (log (pow (- 4/3 (/ u 3/4)) -1/4)) (log (pow (- 4/3 (/ u 3/4)) -3/4)))) (+ (log (pow (- 4/3 (/ u 3/4)) -1/4)) (log (pow (- 4/3 (/ u 3/4)) -3/4))) (log (pow (- 4/3 (/ u 3/4)) -1/4)) (log (* (- 1 (pow (/ (- u 1/4) 3/4) 2)) (- 1 (/ (- u 1/4) 3/4)))) (pow (/ (- u 1/4) 3/4) 2) (- 4/3 (/ u 3/4)) (- (/ 4/3 u) 4/3) (pow (- 1 (/ (- u 1/4) 3/4)) 2) (/ 4/3 u) (log (pow (- 4/3 (/ u 3/4)) -3/4)))

rewrite32.6s (7.5%)

Memory
-285.7MiB live, 37 784.1MiB allocated
Stop Event
264×iter limit
127×node limit
3×unsound
Counts
2 548 → 69 639

localize27.2s (6.2%)

Memory
-144.1MiB live, 38 906.4MiB allocated
Samples
13.6s27 381×0valid
2.0s2 107×1valid
1.7s2 572×0invalid
448.0ms414×2valid
373.0ms427×1exit
286.0ms79×5exit
83.0ms292×0exit
10.0ms8×3valid
Compiler

Compiled 141 540 to 6 522 computations (95.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.9s
ival-mult: 4.6s (33.3% of total)
ival-div: 1.7s (12% of total)
ival-add: 1.1s (7.8% of total)
ival-pow2: 1.0s (7.4% of total)
ival-sub: 675.0ms (4.8% of total)
ival-sqrt: 593.0ms (4.3% of total)
ival-pow: 519.0ms (3.7% of total)
ival-log: 507.0ms (3.6% of total)
const: 392.0ms (2.8% of total)
adjust: 389.0ms (2.8% of total)
ival-sinu: 284.0ms (2% of total)
ival-exp: 263.0ms (1.9% of total)
ival-sin: 257.0ms (1.8% of total)
ival-neg: 223.0ms (1.6% of total)
ival-cosu: 140.0ms (1% of total)
ival-fmax: 114.0ms (0.8% of total)
ival-cos: 112.0ms (0.8% of total)
ival-if: 92.0ms (0.7% of total)
ival-log1p: 92.0ms (0.7% of total)
ival-log2: 89.0ms (0.6% of total)
ival-floor: 83.0ms (0.6% of total)
ival-fabs: 82.0ms (0.6% of total)
ival-pi: 74.0ms (0.5% of total)
exact: 65.0ms (0.5% of total)
ival-asin: 61.0ms (0.4% of total)
ival-atan: 61.0ms (0.4% of total)
ival-expm1: 59.0ms (0.4% of total)
ival-tan: 51.0ms (0.4% of total)
ival-e: 39.0ms (0.3% of total)
ival-hypot: 35.0ms (0.3% of total)
ival-true: 30.0ms (0.2% of total)
ival-tanu: 18.0ms (0.1% of total)
ival-asinh: 15.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival->: 14.0ms (0.1% of total)
ival-cosh: 14.0ms (0.1% of total)
ival-acos: 14.0ms (0.1% of total)
ival->=: 11.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-cbrt: 10.0ms (0.1% of total)
ival-<: 4.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

analyze23.8s (5.5%)

Memory
141.8MiB live, 31 767.7MiB allocated
Algorithm
33×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%11.5%88.5%0%0%0%0
52.8%6.1%5.4%88.5%0%0%0%1
54.4%6.2%5.2%88.5%0%0%0%2
54.5%6.3%5.2%88.5%0%0%0%3
55.4%6.4%5.1%88.5%0%0%0%4
62.6%7.2%4.3%88.5%0%0%0%5
66.9%7.6%3.8%88.5%0%0.1%0%6
76.4%8.4%2.6%88.5%0%0.4%0%7
76.8%8.5%2.6%88.5%0%0.4%0%8
81.4%9%2%88.5%0%0.4%0%9
85.1%9.3%1.6%88.5%0%0.5%0%10
86.3%9.4%1.5%88.5%0%0.5%0%11
87.3%9.5%1.4%88.5%0%0.6%0%12
Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

explain9.4s (2.2%)

Memory
-381.7MiB live, 15 619.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity102687
-.f32#fcancellation39446
sqrt.f32#foflow-rescue3380
sqrt.f64#foflow-rescue3200
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity1980
cos.f32(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))sensitivity19611
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18518
-.f64#fcancellation1710
/.f32#fo/n1300
exp.f32#fsensitivity3820
/.f32#fu/n260
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue170
↳(*.f32 sinTheta_O sinTheta_O)underflow282
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow17
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow141
↳(*.f32 eta eta)underflow17
/.f32#fo/o160
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u150
sqrt.f64#fuflow-rescue80
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u30
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o20
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow11
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow11
log.f32(log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))oflow-rescue10
↳(/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))overflow1
Confusion
Predicted +Predicted -
+221248
-4475741
Precision
0.8318916886047386
Recall
0.9787610619469026
Confusion?
Predicted +Predicted MaybePredicted -
+22122622
-4471395602
Precision?
0.7924929178470255
Recall?
0.9902654867256637
Freqs
test
numberfreq
05789
12251
2391
317
Total Confusion?
Predicted +Predicted MaybePredicted -
+2111
-505
Precision?
0.8148148148148148
Recall?
0.9565217391304348
Samples
2.5s16 154×0valid
914.0ms608×1valid
78.0ms134×2valid
Compiler

Compiled 16 934 to 1 875 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-pow2: 763.0ms (29.2% of total)
ival-mult: 613.0ms (23.5% of total)
ival-div: 216.0ms (8.3% of total)
ival-sub: 167.0ms (6.4% of total)
ival-add: 142.0ms (5.4% of total)
ival-sqrt: 89.0ms (3.4% of total)
ival-log: 79.0ms (3% of total)
ival-pi: 58.0ms (2.2% of total)
ival-floor: 46.0ms (1.8% of total)
ival-exp: 43.0ms (1.6% of total)
ival-sin: 41.0ms (1.6% of total)
ival-pow: 38.0ms (1.5% of total)
ival-sinu: 34.0ms (1.3% of total)
adjust: 25.0ms (1% of total)
ival-neg: 25.0ms (1% of total)
const: 22.0ms (0.8% of total)
ival-cosu: 22.0ms (0.8% of total)
ival-cos: 21.0ms (0.8% of total)
ival-if: 19.0ms (0.7% of total)
ival-tan: 17.0ms (0.7% of total)
ival-fmax: 17.0ms (0.7% of total)
ival-fabs: 17.0ms (0.7% of total)
ival-e: 16.0ms (0.6% of total)
ival-true: 16.0ms (0.6% of total)
ival-log2: 15.0ms (0.6% of total)
exact: 15.0ms (0.6% of total)
ival-assert: 8.0ms (0.3% of total)
ival-log1p: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-sinh: 5.0ms (0.2% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

preprocess9.2s (2.1%)

Memory
159.7MiB live, 10 780.3MiB allocated
Algorithm
33×egg-herbie
Stop Event
66×iter limit
47×node limit
19×saturated
Compiler

Compiled 164 690 to 20 709 computations (87.4% saved)

bsearch864.0ms (0.2%)

Memory
36.8MiB live, 980.3MiB allocated
Algorithm
80×binary-search
61×left-value
Stop Event
78×narrow-enough
2×predicate-same
Samples
227.0ms699×1valid
92.0ms894×0valid
81.0ms167×2valid
44.0ms76×1invalid
7.0ms76×0invalid
Compiler

Compiled 18 968 to 10 957 computations (42.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 360.0ms
ival-pow: 90.0ms (25% of total)
ival-e: 54.0ms (15% of total)
adjust: 50.0ms (13.9% of total)
ival-mult: 50.0ms (13.9% of total)
ival-log1p: 29.0ms (8.1% of total)
ival-pow2: 21.0ms (5.8% of total)
ival-add: 19.0ms (5.3% of total)
ival-sub: 18.0ms (5% of total)
ival-sqrt: 10.0ms (2.8% of total)
ival-fabs: 9.0ms (2.5% of total)
ival-div: 7.0ms (1.9% of total)
ival-true: 2.0ms (0.6% of total)
exact: 2.0ms (0.6% of total)
ival-assert: 1.0ms (0.3% of total)

start3.0ms (0%)

Memory
7.4MiB live, 7.4MiB allocated

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...