Herbie run

Date:Wednesday, January 15th, 2025
Commit:d270acbc on main
Seed:2025015
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:451 958.9 MB

Time bar (total: 6.0min)

sample1.8min (29.7%)

Memory
1 050.8MiB live, 129 402.4MiB allocated; 40.7s collecting garbage
Samples
1.0min262 278×0valid
19.5s1 555×5exit
3.5s7 963×1valid
1.7s11 194×0invalid
739.0ms2 205×2valid
472.0ms682×1invalid
0.0ms1×4valid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-pow: 18.1s (25.1% of total)
ival-mult: 10.4s (14.4% of total)
const: 7.6s (10.5% of total)
ival-<=: 6.1s (8.5% of total)
ival-div: 4.8s (6.7% of total)
ival-e: 2.7s (3.8% of total)
ival-log: 2.1s (2.9% of total)
ival-add: 2.1s (2.9% of total)
ival-sub: 2.0s (2.8% of total)
ival-fabs: 1.7s (2.3% of total)
ival-sqrt: 1.5s (2.1% of total)
ival-exp: 1.3s (1.8% of total)
ival-and: 1.3s (1.7% of total)
ival-sinu: 1.2s (1.7% of total)
ival-sin: 1.1s (1.6% of total)
ival-neg: 1.1s (1.5% of total)
adjust: 958.0ms (1.3% of total)
ival-floor: 689.0ms (1% of total)
ival-cos: 608.0ms (0.8% of total)
ival-pi: 523.0ms (0.7% of total)
ival-log1p: 495.0ms (0.7% of total)
exact: 463.0ms (0.6% of total)
ival-pow2: 446.0ms (0.6% of total)
ival-cosu: 424.0ms (0.6% of total)
ival-fmax: 332.0ms (0.5% of total)
ival-tan: 306.0ms (0.4% of total)
ival-if: 275.0ms (0.4% of total)
ival-<: 249.0ms (0.3% of total)
ival-log2: 245.0ms (0.3% of total)
ival->: 187.0ms (0.3% of total)
ival-==: 144.0ms (0.2% of total)
ival-asin: 121.0ms (0.2% of total)
ival-sinh: 118.0ms (0.2% of total)
ival-assert: 115.0ms (0.2% of total)
ival-atan: 92.0ms (0.1% of total)
ival->=: 54.0ms (0.1% of total)
ival-true: 26.0ms (0% of total)
Bogosity

simplify52.7s (14.7%)

Memory
485.1MiB live, 57 735.6MiB allocated; 14.4s collecting garbage
Stop Event
396×iter limit
296×node limit
1×saturated
Counts
15 771 → 15 678

localize30.4s (8.4%)

Memory
-669.5MiB live, 40 489.6MiB allocated; 9.6s collecting garbage
Samples
14.1s28 910×0valid
3.1s717×5exit
1.7s1 543×1valid
1.3s1 237×0invalid
579.0ms442×2valid
467.0ms921×0exit
30.0ms22×3valid
Compiler

Compiled 137 323 to 6 764 computations (95.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.8s
ival-mult: 4.4s (26.4% of total)
ival-div: 2.6s (15.4% of total)
adjust: 1.6s (9.7% of total)
ival-add: 1.3s (7.8% of total)
ival-sub: 860.0ms (5.1% of total)
ival-pow: 725.0ms (4.3% of total)
ival-pow2: 673.0ms (4% of total)
ival-sin: 499.0ms (3% of total)
ival-sqrt: 453.0ms (2.7% of total)
const: 405.0ms (2.4% of total)
ival-log: 374.0ms (2.2% of total)
ival-neg: 361.0ms (2.2% of total)
ival-exp: 355.0ms (2.1% of total)
ival-log1p: 307.0ms (1.8% of total)
ival-sinh: 240.0ms (1.4% of total)
ival-sinu: 187.0ms (1.1% of total)
ival-cos: 125.0ms (0.7% of total)
ival-cosu: 121.0ms (0.7% of total)
ival-floor: 120.0ms (0.7% of total)
ival-fmax: 100.0ms (0.6% of total)
ival-expm1: 99.0ms (0.6% of total)
ival-if: 90.0ms (0.5% of total)
ival-pi: 80.0ms (0.5% of total)
exact: 79.0ms (0.5% of total)
ival-cosh: 73.0ms (0.4% of total)
ival-fabs: 68.0ms (0.4% of total)
ival-log2: 68.0ms (0.4% of total)
ival-e: 65.0ms (0.4% of total)
ival-tan: 61.0ms (0.4% of total)
ival-cbrt: 57.0ms (0.3% of total)
ival-tanu: 47.0ms (0.3% of total)
ival-atan: 30.0ms (0.2% of total)
ival-true: 29.0ms (0.2% of total)
ival->: 17.0ms (0.1% of total)
ival-asin: 16.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival->=: 12.0ms (0.1% of total)
ival-acos: 11.0ms (0.1% of total)
ival-<: 5.0ms (0% of total)
ival-then: 0.0ms (0% of total)

regimes29.3s (8.2%)

Memory
678.7MiB live, 41 602.2MiB allocated; 7.2s collecting garbage
Counts
12 361 → 508
Calls

160 calls:

970.0ms
(neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u1)))
851.0ms
maxCos
829.0ms
s
762.0ms
cosTheta_i
743.0ms
u2
Compiler

Compiled 22 994 to 19 323 computations (16% saved)

eval28.4s (7.9%)

Memory
405.6MiB live, 42 732.0MiB allocated; 9.1s collecting garbage
Compiler

Compiled 32 522 460 to 441 099 computations (98.6% saved)

analyze23.4s (6.5%)

Memory
495.1MiB live, 33 841.9MiB allocated; 8.1s 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)

rewrite18.2s (5.1%)

Memory
-39.6MiB live, 20 449.7MiB allocated; 4.6s collecting garbage
Stop Event
391×iter limit
120×node limit
12×unsound
Counts
2 577 → 42 614

series17.5s (4.9%)

Memory
312.6MiB live, 24 956.7MiB allocated; 4.7s collecting garbage
Counts
2 577 → 15 771
Calls

1452 calls:

TimeVariablePointExpression
336.0ms
s
@0
((/ (- 2 (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (- 2 (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (* (neg s) (log (/ (- 2 (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)) (* (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) 2)))) (neg s) (neg (* (+ (* 2 (/ (PI) s)) (/ (neg (PI)) (* u s))) u)) (+ (* 2 (/ (PI) s)) (/ (neg (PI)) (* u s))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* (* 1/2 (PI)) u) (* -1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))))) 1)) (+ (* (/ 1 (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (pow (- (exp (/ (PI) s)) -1) -2))) (- (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) -1) (* (neg s) (log (+ (* (/ 1 (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (pow (- (exp (/ (PI) s)) -1) -2))) (- (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) -1))) (log (+ (* (/ 1 (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (pow (- (exp (/ (PI) s)) -1) -2))) (- (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) -1)) (PI) (log (+ 1 (exp (/ (PI) s)))) (/ (PI) s) (/ (neg (PI)) s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (* (+ (* 2 (/ (PI) s)) (/ (neg (PI)) (* u s))) u) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))))) 1) (/ (+ (* (* 1/2 (PI)) u) (* -1/4 (PI))) s))
208.0ms
dX.w
@inf
((* (* (pow (floor h) 2) dY.v) dY.v) (+ (+ (pow (* dX.u (floor w)) 2) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (pow (floor d) 2) (pow (exp 2) (log dX.w)))) (+ (pow (* dX.u (floor w)) 2) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor d) 2) dY.w) 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))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.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))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (pow (pow (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)))) 1/4) 2) (log2 (pow (pow (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)))) 1/4) 2)) (pow (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)))) 1/4) (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)))) (* (* (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.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (* (* (floor d) dY.w) (* (floor d) dY.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))) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (exp (* (log (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))))) 1/2)) (log2 (exp (* (log (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))))) 1/2))) (* (log (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))))) 1/2) (log (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))))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (sqrt (fmax (+ (+ (pow (* dX.u (floor w)) 2) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (pow (floor d) 2) (pow (exp 2) (log 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 (exp 2) (log 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))) (+ (+ (* (* (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) 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.v (floor h)) 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))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))))
174.0ms
alphax
@-inf
((exp (* (log (+ 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 u0)))) -1/2)) (* (log (+ 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 u0)))) -1/2) (log (+ 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 u0)))) (/ (/ 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 u0)) (/ -1/2 (+ (* (cos (* (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) 2)) 1/2) 1/2)) (/ 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/2 (+ (* (cos (* (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) 2)) 1/2) 1/2)) (/ (* (* alphax alphax) u0) (- 1 u0))) 1) (+ (* (cos (* (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) 2)) 1/2) 1/2) (pow (- (/ (* (/ 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/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) (- 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 (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 (* alphax (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))))) 2) (pow (* (/ 1 (sqrt (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1))) alphay) 2)) (* alphax alphax)) (* alphay alphay))) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (* (/ 1 (sqrt (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1))) alphay) (+ 1 (/ (* (/ 1 (/ (/ (+ (pow (* alphax (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))))) 2) (pow (* (/ 1 (sqrt (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1))) alphay) 2)) (* alphax alphax)) (* alphay alphay))) u0) (- 1 u0))) (PI) (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) (cos (* (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) 2)) (sin (atan (* (/ alphay alphax) (tan (* (+ (* 2 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) (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))) (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2))))) (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (sqrt (+ 1 (/ (* (/ 1 (/ (/ (+ (pow (* alphax (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))))) 2) (pow (* (/ 1 (sqrt (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1))) alphay) 2)) (* alphax alphax)) (* alphay alphay))) u0) (- 1 u0)))))
158.0ms
u2
@inf
((* (sqrt (neg (- (log (+ 1 (* (neg u1) u1))) (log (+ 1 u1))))) (cos (* (* 2 (PI)) u2))) (sqrt (neg (- (log (+ 1 (* (neg u1) u1))) (log (+ 1 u1))))) (neg (- (log (+ 1 (* (neg u1) u1))) (log (+ 1 u1)))) (- (log (+ 1 (* (neg u1) u1))) (log (+ 1 u1))) (log (- 1 u1)) (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt (neg (log (- 1 u1)))) (neg (log (- 1 u1))) (* (sqrt (neg (log (- 1 u1)))) (cos (* (* 2 (PI)) u2))) (sqrt (neg (log (- 1 u1)))) (neg (log (- 1 u1))) (* (+ (* (+ (* 1/3 u1) 1/2) u1) 1) u1) (+ (* u2 (* (PI) 2)) (/ (PI) 2)) (sin (+ (* u2 (* (PI) 2)) (/ (PI) 2))) (* (sqrt (neg (log (- 1 u1)))) (sin (+ (* u2 (* (PI) 2)) (/ (PI) 2)))) (log (- 1 (pow u1 3))) (* (sqrt (neg (- (log (- 1 (pow u1 3))) (log (+ 1 (+ (* u1 u1) u1)))))) (cos (* (* 2 (PI)) u2))) (sqrt (neg (- (log (- 1 (pow u1 3))) (log (+ 1 (+ (* u1 u1) u1)))))) (neg (- (log (- 1 (pow u1 3))) (log (+ 1 (+ (* u1 u1) u1))))) (* (* 2 (PI)) u2) (cos (* (* 2 (PI)) u2)) (cos (* (* 2 (PI)) u2)) (log (+ 1 (+ (* u1 u1) u1))))
138.0ms
s
@0
((/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (neg s) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (neg (PI)) (PI) (* (+ (* (* u (PI)) 1/2) (* -1/4 (PI))) (/ -4 s)) (+ (* (* u (PI)) 1/2) (* -1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))))) 1) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s)))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (+ (log (pow (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) (/ (neg s) 2))) (log (pow (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) (/ (neg s) 2)))) (/ (neg s) 2) (log (pow (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) (/ (neg s) 2))) (pow (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) (/ (neg s) 2)) (/ (PI) s) (/ (neg (PI)) s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (/ 1 (+ 1 (exp (* (pow (cbrt (PI)) 2) (/ (cbrt (PI)) s))))) (/ 1 (+ 1 (exp (/ (PI) s)))) (log (+ 1 (exp (/ (PI) s)))) (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1))

prune17.5s (4.9%)

Memory
225.3MiB live, 22 929.1MiB allocated; 3.1s collecting garbage
Counts
103 752 → 4 150
Compiler

Compiled 563 847 to 218 292 computations (61.3% saved)

derivations15.7s (4.4%)

Memory
-270.5MiB live, 13 046.2MiB allocated; 4.0s collecting garbage
Stop Event
33×fuel
Compiler

Compiled 26 242 to 4 000 computations (84.8% saved)

preprocess9.7s (2.7%)

Memory
346.9MiB live, 10 563.9MiB allocated; 2.8s collecting garbage
Stop Event
66×iter limit
65×node limit
1×saturated
Compiler

Compiled 73 106 to 17 435 computations (76.2% saved)

explain9.1s (2.5%)

Memory
-394.3MiB live, 13 203.1MiB allocated; 2.3s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity101971
-.f32#fcancellation37233
sqrt.f32#foflow-rescue3450
sqrt.f64#foflow-rescue2860
cos.f32#fsensitivity19718
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity1930
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18719
-.f64#fcancellation1762
/.f32#fo/n1260
exp.f32#fsensitivity6618
/.f32#fu/n190
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u180
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-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow296
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow148
↳(*.f32 eta eta)underflow13
sqrt.f64#fuflow-rescue120
/.f32#fo/o120
/.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))overflow16
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow16
pow.f64(pow.f64 (E.f64) x)sensitivity20
*.f32#fn*o20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
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
Confusion
Predicted +Predicted -
+214566
-4685769
Precision
0.8208955223880597
Recall
0.9701492537313433
Confusion?
Predicted +Predicted MaybePredicted -
+21452442
-4681125657
Precision?
0.7890141869770826
Recall?
0.9810040705563093
Freqs
test
numberfreq
05835
12185
2416
312
Total Confusion?
Predicted +Predicted MaybePredicted -
+2502
-303
Precision?
0.8928571428571429
Recall?
0.9259259259259259
Samples
2.5s16 118×0valid
318.0ms628×1valid
59.0ms150×2valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 547.0ms (27.9% of total)
ival-div: 200.0ms (10.2% of total)
ival-add: 185.0ms (9.4% of total)
ival-sub: 107.0ms (5.5% of total)
ival-pow: 100.0ms (5.1% of total)
ival-log: 94.0ms (4.8% of total)
adjust: 75.0ms (3.8% of total)
ival-sqrt: 68.0ms (3.5% of total)
ival-neg: 63.0ms (3.2% of total)
ival-floor: 59.0ms (3% of total)
ival-sinu: 49.0ms (2.5% of total)
ival-sin: 48.0ms (2.5% of total)
ival-exp: 45.0ms (2.3% of total)
ival-pow2: 34.0ms (1.7% of total)
ival-if: 30.0ms (1.5% of total)
ival-cos: 26.0ms (1.3% of total)
ival-cosu: 25.0ms (1.3% of total)
ival-e: 23.0ms (1.2% of total)
ival-pi: 22.0ms (1.1% of total)
const: 21.0ms (1.1% of total)
ival-tan: 17.0ms (0.9% of total)
ival-fabs: 17.0ms (0.9% of total)
ival-fmax: 16.0ms (0.8% of total)
ival-true: 16.0ms (0.8% of total)
exact: 15.0ms (0.8% of total)
ival-sinh: 13.0ms (0.7% of total)
ival-log2: 12.0ms (0.6% of total)
ival-assert: 8.0ms (0.4% of total)
ival-log1p: 7.0ms (0.4% of total)
ival-atan: 5.0ms (0.3% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.2% of total)
ival->=: 3.0ms (0.2% of total)
ival-<: 1.0ms (0.1% of total)

bsearch828.0ms (0.2%)

Memory
-40.9MiB live, 994.8MiB allocated; 167ms collecting garbage
Algorithm
100×binary-search
41×left-value
Stop Event
97×narrow-enough
3×predicate-same
Samples
329.0ms754×1valid
128.0ms1 115×0valid
53.0ms179×2valid
15.0ms16×1invalid
8.0ms96×0invalid
Compiler

Compiled 16 513 to 12 850 computations (22.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 413.0ms
ival-pow: 174.0ms (42.2% of total)
adjust: 45.0ms (10.9% of total)
ival-mult: 43.0ms (10.4% of total)
ival-e: 37.0ms (9% of total)
ival-sub: 24.0ms (5.8% of total)
ival-pow2: 23.0ms (5.6% of total)
ival-log1p: 20.0ms (4.8% of total)
ival-add: 15.0ms (3.6% of total)
ival-sqrt: 10.0ms (2.4% of total)
ival-fabs: 9.0ms (2.2% of total)
ival-div: 7.0ms (1.7% of total)
ival-true: 2.0ms (0.5% of total)
exact: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.2% of total)

start70.0ms (0%)

Memory
-39.9MiB live, 10.9MiB allocated; 74ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...