Herbie run

Date:Tuesday, December 17th, 2024
Commit:a057aa8d on main
Hostname:nightly with Racket 8.10
Seed:2024352
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:559 829.0 MB

Time bar (total: 7.3min)

sample1.8min (25%)

Memory
1 242.9MiB live, 161 897.6MiB allocated; 40.0s collecting garbage
Samples
57.5s262 070×0valid
19.4s1 567×5exit
4.6s8 212×1valid
2.6s11 142×0invalid
980.0ms2 165×2valid
379.0ms683×1invalid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-pow: 17.3s (23.9% of total)
ival-mult: 11.1s (15.2% of total)
const: 7.5s (10.3% of total)
ival-<=: 6.0s (8.3% of total)
ival-div: 4.6s (6.3% of total)
ival-e: 3.9s (5.4% of total)
ival-add: 3.2s (4.4% of total)
ival-sub: 2.2s (3% of total)
ival-fabs: 2.1s (2.9% of total)
ival-log: 1.6s (2.2% of total)
ival-sqrt: 1.5s (2.1% of total)
ival-and: 1.2s (1.7% of total)
ival-sin: 1.2s (1.6% of total)
adjust: 1.1s (1.5% of total)
ival-exp: 925.0ms (1.3% of total)
ival-floor: 845.0ms (1.2% of total)
ival-sinu: 661.0ms (0.9% of total)
ival-neg: 643.0ms (0.9% of total)
ival-cosu: 611.0ms (0.8% of total)
ival-log1p: 528.0ms (0.7% of total)
ival-pow2: 508.0ms (0.7% of total)
exact: 479.0ms (0.7% of total)
ival-cos: 382.0ms (0.5% of total)
ival-pi: 319.0ms (0.4% of total)
ival-tan: 305.0ms (0.4% of total)
ival-fmax: 295.0ms (0.4% of total)
ival-if: 263.0ms (0.4% of total)
ival-log2: 244.0ms (0.3% of total)
ival-<: 240.0ms (0.3% of total)
ival->: 158.0ms (0.2% of total)
ival-asin: 155.0ms (0.2% of total)
ival-==: 140.0ms (0.2% of total)
ival-atan: 122.0ms (0.2% of total)
ival-assert: 117.0ms (0.2% of total)
ival-sinh: 93.0ms (0.1% of total)
ival->=: 43.0ms (0.1% of total)
ival-true: 26.0ms (0% of total)
Bogosity

simplify51.9s (11.8%)

Memory
505.4MiB live, 55 951.7MiB allocated; 12.1s collecting garbage
Algorithm
293×egg-herbie
Stop Event
393×iter limit
267×node limit
23×saturated
3×unsound
Counts
15 786 → 15 707

eval47.6s (10.8%)

Memory
283.6MiB live, 69 069.7MiB allocated; 13.5s collecting garbage
Compiler

Compiled 49 948 190 to 636 400 computations (98.7% saved)

derivations38.8s (8.8%)

Memory
184.8MiB live, 32 002.6MiB allocated; 7.1s collecting garbage
Stop Event
287×iter limit
195×node limit
32×fuel
1×done
Compiler

Compiled 32 138 to 4 154 computations (87.1% saved)

regimes36.4s (8.3%)

Memory
-46.0MiB live, 46 894.7MiB allocated; 12.3s collecting garbage
Counts
12 645 → 510
Calls

160 calls:

1.1s
uy
1.0s
(log.f32 (-.f32 #s(literal 1 binary32) u0))
936.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
933.0ms
(*.f32 uy #s(literal 2 binary32))
895.0ms
ux
Compiler

Compiled 26 347 to 20 852 computations (20.9% saved)

series34.0s (7.7%)

Memory
-55.2MiB live, 37 320.6MiB allocated; 12.5s collecting garbage
Counts
2 494 → 15 786
Calls

1434 calls:

TimeVariablePointExpression
9.6s
u1
@0
((pow (+ (/ u0 (* (+ (pow (/ (cos (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphay) 2)) (- 1 u0))) 1) -1/2) (+ (/ u0 (* (+ (pow (/ (cos (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphay) 2)) (- 1 u0))) 1) (/ u0 (* (+ (pow (/ (cos (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphay) 2)) (- 1 u0))) (* (+ (pow (/ (cos (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphay) 2)) (- 1 u0)) (/ (* (* alphax alphax) u0) (pow (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1) -1)) (/ 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 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))))) (pow (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (pow (/ (sin (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphay) 2))) 1) -1/2) (sqrt (/ 1 (+ (* (/ (* alphay alphay) (- 1 u0)) (/ u0 (pow (sin (atan (* (/ (sin (* (+ (* 2 u1) 1/2) (PI))) alphax) (/ alphay (cos (* (+ (* 2 u1) 1/2) (PI))))))) 2))) 1))) (/ 1 (+ (* (/ (* alphay alphay) (- 1 u0)) (/ u0 (pow (sin (atan (* (/ (sin (* (+ (* 2 u1) 1/2) (PI))) alphax) (/ alphay (cos (* (+ (* 2 u1) 1/2) (PI))))))) 2))) 1)) (+ (* (/ (* alphay alphay) (- 1 u0)) (/ u0 (pow (sin (atan (* (/ (sin (* (+ (* 2 u1) 1/2) (PI))) alphax) (/ alphay (cos (* (+ (* 2 u1) 1/2) (PI))))))) 2))) 1) (* (neg (/ alphay alphax)) (sin (* (PI) (+ (* u1 2) 1/2)))) (+ (* (PI) (+ (* u1 2) 1/2)) (PI)) (/ 1 (sqrt (+ (/ (* (/ 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 (+ (/ (* (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 (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) (tan (* (PI) (+ (* u1 2) 1/2))) (pow (/ (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) alphay) 2) (* (PI) (+ (* u1 2) 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) (tan (* (+ (* 2 u1) 1/2) (PI))) (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) (* (+ (* 2 u1) 1/2) (PI)) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (* u1 (* (PI) 2)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (cos (* (+ (* 2 u1) 1/2) (PI))) (* (/ (sin (* (+ (* 2 u1) 1/2) (PI))) alphax) (/ alphay (cos (* (+ (* 2 u1) 1/2) (PI))))) (cos (+ (* (PI) (+ (* u1 2) 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) (cosh (asinh (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))))
2.8s
u1
@0
((+ (* 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 (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 (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)) (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax)) (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))) (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 (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 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))) (pow (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) 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) (* (PI) (+ (* 2 u1) 1/2)) (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))) (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)))
930.0ms
h
@-inf
((* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (pow (pow (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) 1/4) 2) (sqrt (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 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))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (pow (floor h) 2) (* dX.v dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (pow (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) 1/4) (+ (* (* (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 w) dY.u) (* (floor w) dY.u)) (pow (exp 2) (log (* dY.v (floor h))))))) (pow (exp 2) (log (* dY.v (floor h)))))
796.0ms
w
@-inf
((* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor w) 2) dY.u) dY.u) (/ (* (* dX.v (floor h)) -1) (neg (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (* (/ 1 (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (* (floor h) dY.v)) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (>= (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (floor h) (floor w) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (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 w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.u (floor w)) 2) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (exp (* (log (* (neg dY.u) (floor w))) 2)) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))
610.0ms
x
@-inf
((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) (- (pow (E) x) 1))

rewrite30.6s (6.9%)

Memory
361.2MiB live, 34 021.1MiB allocated; 9.0s collecting garbage
Stop Event
265×iter limit
127×node limit
3×unsound
Counts
2 494 → 58 890

localize29.8s (6.8%)

Memory
263.3MiB live, 37 388.6MiB allocated; 6.6s collecting garbage
Samples
13.5s27 027×0valid
3.5s988×5exit
2.5s3 182×0invalid
1.8s1 609×1valid
376.0ms273×2valid
49.0ms182×0exit
38.0ms19×3valid
Compiler

Compiled 135 592 to 6 617 computations (95.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.1s
ival-mult: 5.0s (28.9% of total)
ival-div: 2.0s (11.4% of total)
ival-add: 1.7s (9.8% of total)
adjust: 1.6s (9.6% of total)
ival-pow: 846.0ms (4.9% of total)
ival-sub: 789.0ms (4.6% of total)
ival-pow2: 683.0ms (4% of total)
ival-log: 539.0ms (3.1% of total)
ival-log1p: 494.0ms (2.9% of total)
ival-sqrt: 474.0ms (2.8% of total)
ival-sin: 455.0ms (2.7% of total)
ival-exp: 404.0ms (2.4% of total)
const: 402.0ms (2.3% of total)
ival-neg: 211.0ms (1.2% of total)
ival-sinu: 199.0ms (1.2% of total)
ival-cosu: 194.0ms (1.1% of total)
ival-cos: 155.0ms (0.9% of total)
ival-if: 117.0ms (0.7% of total)
ival-fmax: 105.0ms (0.6% of total)
ival-floor: 105.0ms (0.6% of total)
ival-cosh: 75.0ms (0.4% of total)
exact: 68.0ms (0.4% of total)
ival-sinh: 68.0ms (0.4% of total)
ival-log2: 66.0ms (0.4% of total)
ival-tan: 60.0ms (0.3% of total)
ival-atan: 56.0ms (0.3% of total)
ival-pi: 54.0ms (0.3% of total)
ival-fabs: 45.0ms (0.3% of total)
ival-tanu: 42.0ms (0.2% of total)
ival-e: 41.0ms (0.2% of total)
ival-expm1: 38.0ms (0.2% of total)
ival-true: 29.0ms (0.2% of total)
ival->: 21.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival-asin: 14.0ms (0.1% of total)
ival->=: 11.0ms (0.1% of total)
ival-asinh: 9.0ms (0.1% of total)
ival-cbrt: 8.0ms (0% of total)
ival-<: 6.0ms (0% of total)
ival-acos: 6.0ms (0% of total)
ival-hypot: 4.0ms (0% of total)
ival-nan: 0.0ms (0% of total)
ival-then: 0.0ms (0% of total)

analyze23.8s (5.4%)

Memory
376.1MiB live, 33 118.4MiB allocated; 7.5s collecting garbage
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)

prune18.4s (4.2%)

Memory
-413.1MiB live, 25 156.6MiB allocated; 5.1s collecting garbage
Counts
154 001 → 4 244
Compiler

Compiled 603 795 to 223 508 computations (63% saved)

explain9.6s (2.2%)

Memory
-293.0MiB live, 14 466.8MiB allocated; 2.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity101264
-.f32#fcancellation39523
sqrt.f32#foflow-rescue3740
sqrt.f64#foflow-rescue2960
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2020
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation1899
cos.f32#fsensitivity18120
-.f64#fcancellation1641
/.f32#fo/n1320
exp.f32#fsensitivity3024
/.f32#fu/n230
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u160
/.f32#fo/o120
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-rescue100
↳(*.f32 sinTheta_O sinTheta_O)underflow292
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow10
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow146
↳(*.f32 eta eta)underflow10
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u70
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o60
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow18
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow18
sqrt.f64#fuflow-rescue20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))u*o10
↳(*.f32 u normAngle)underflow8
↳(sin.f32 (*.f32 u normAngle))underflow8
↳(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))overflow1
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
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))oflow-rescue10
↳(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)overflow1
↳(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))overflow1
↳(pow.f64 (E.f64) x)overflow1
↳(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))overflow1
*.f32(*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*o10
Confusion
Predicted +Predicted -
+218863
-4525745
Precision
0.8287878787878787
Recall
0.9720124389160373
Confusion?
Predicted +Predicted MaybePredicted -
+21883429
-452925653
Precision?
0.8033261026753434
Recall?
0.9871168369613506
Freqs
test
numberfreq
05808
12237
2391
312
Total Confusion?
Predicted +Predicted MaybePredicted -
+2230
-503
Precision?
0.8333333333333334
Recall?
1.0
Samples
2.9s16 138×0valid
359.0ms620×1valid
77.0ms138×2valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 749.0ms (31.6% of total)
ival-div: 287.0ms (12.1% of total)
ival-pow: 155.0ms (6.5% of total)
ival-log: 117.0ms (4.9% of total)
ival-sqrt: 109.0ms (4.6% of total)
ival-add: 104.0ms (4.4% of total)
ival-sub: 96.0ms (4% of total)
ival-sinu: 86.0ms (3.6% of total)
adjust: 75.0ms (3.2% of total)
const: 75.0ms (3.2% of total)
ival-pow2: 62.0ms (2.6% of total)
ival-tan: 48.0ms (2% of total)
ival-exp: 45.0ms (1.9% of total)
ival-sin: 42.0ms (1.8% of total)
ival-floor: 40.0ms (1.7% of total)
ival-pi: 34.0ms (1.4% of total)
ival-cosu: 31.0ms (1.3% of total)
ival-neg: 30.0ms (1.3% of total)
ival-e: 27.0ms (1.1% of total)
ival-fabs: 22.0ms (0.9% of total)
ival-cos: 20.0ms (0.8% of total)
ival-fmax: 18.0ms (0.8% of total)
ival-log2: 17.0ms (0.7% of total)
ival-true: 16.0ms (0.7% of total)
exact: 16.0ms (0.7% of total)
ival-if: 13.0ms (0.5% of total)
ival-assert: 8.0ms (0.3% of total)
ival-log1p: 7.0ms (0.3% of total)
ival-asin: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)
ival-sinh: 5.0ms (0.2% of total)
ival->: 4.0ms (0.2% of total)
ival->=: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

preprocess8.6s (1.9%)

Memory
246.5MiB live, 10 762.1MiB allocated; 1.5s collecting garbage
Algorithm
33×egg-herbie
Stop Event
66×iter limit
47×node limit
19×saturated
Compiler

Compiled 81 008 to 15 773 computations (80.5% saved)

bsearch1.3s (0.3%)

Memory
-8.2MiB live, 1 765.9MiB allocated; 283ms collecting garbage
Algorithm
90×binary-search
50×left-value
Stop Event
88×narrow-enough
2×predicate-same
Samples
503.0ms1 010×1valid
196.0ms417×2valid
180.0ms1 133×0valid
29.0ms75×0invalid
22.0ms58×1invalid
Compiler

Compiled 18 901 to 14 201 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 705.0ms
ival-pow: 240.0ms (34.1% of total)
ival-e: 84.0ms (11.9% of total)
adjust: 83.0ms (11.8% of total)
ival-sub: 75.0ms (10.6% of total)
ival-pow2: 66.0ms (9.4% of total)
ival-mult: 48.0ms (6.8% of total)
ival-sqrt: 34.0ms (4.8% of total)
ival-add: 29.0ms (4.1% of total)
ival-fabs: 16.0ms (2.3% of total)
ival-log1p: 13.0ms (1.8% of total)
ival-div: 12.0ms (1.7% of total)
exact: 3.0ms (0.4% of total)
ival-true: 2.0ms (0.3% of total)
ival-assert: 1.0ms (0.1% of total)

start44.0ms (0%)

Memory
-35.7MiB live, 12.0MiB allocated; 2ms collecting garbage

end0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...