Herbie run

Date:Sunday, January 26th, 2025
Commit:c1ce189f on fix-derivation-reports
Seed:2025026
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:462 073.7 MB

Time bar (total: 6.0min)

sample1.8min (29%)

Memory
1 796.4MiB live, 132 258.2MiB allocated; 38.7s collecting garbage
Samples
56.5s262 202×0valid
19.7s1 626×5exit
3.7s8 041×1valid
1.9s10 880×0invalid
852.0ms2 205×2valid
329.0ms675×1invalid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-pow: 17.9s (25% of total)
ival-mult: 10.1s (14.2% of total)
const: 9.3s (13.1% of total)
ival-<=: 5.7s (8% of total)
ival-div: 4.0s (5.6% of total)
ival-sub: 2.9s (4.1% of total)
ival-e: 2.9s (4% of total)
ival-add: 2.3s (3.2% of total)
ival-sqrt: 1.6s (2.3% of total)
ival-fabs: 1.5s (2.1% of total)
ival-log: 1.3s (1.8% of total)
ival-and: 1.2s (1.7% of total)
ival-sin: 1.2s (1.7% of total)
adjust: 1.0s (1.5% of total)
ival-if: 939.0ms (1.3% of total)
ival-exp: 911.0ms (1.3% of total)
ival-floor: 690.0ms (1% of total)
ival-sinu: 651.0ms (0.9% of total)
ival-neg: 559.0ms (0.8% of total)
ival-log1p: 541.0ms (0.8% of total)
ival-pow2: 523.0ms (0.7% of total)
exact: 468.0ms (0.7% of total)
ival-cosu: 438.0ms (0.6% of total)
ival-cos: 411.0ms (0.6% of total)
ival-fmax: 351.0ms (0.5% of total)
ival-<: 328.0ms (0.5% of total)
ival-tan: 291.0ms (0.4% of total)
ival-pi: 275.0ms (0.4% of total)
ival-log2: 257.0ms (0.4% of total)
ival->: 220.0ms (0.3% of total)
ival-asin: 127.0ms (0.2% of total)
ival-assert: 115.0ms (0.2% of total)
ival-==: 100.0ms (0.1% of total)
ival-sinh: 84.0ms (0.1% of total)
ival-atan: 82.0ms (0.1% of total)
ival->=: 43.0ms (0.1% of total)
ival-true: 26.0ms (0% of total)
Bogosity

simplify53.1s (14.6%)

Memory
1 064.1MiB live, 60 775.6MiB allocated; 11.7s collecting garbage
Stop Event
396×iter limit
296×node limit
1×saturated
Counts
19 043 → 19 043

regimes35.2s (9.7%)

Memory
356.6MiB live, 47 856.5MiB allocated; 11.3s collecting garbage
Counts
12 621 → 503
Calls

160 calls:

1.2s
cosTheta
1.1s
cos2phi
817.0ms
uy
810.0ms
(*.f32 uy #s(literal 2 binary32))
809.0ms
cosTheta_i
Compiler

Compiled 23 910 to 19 996 computations (16.4% saved)

localize30.5s (8.4%)

Memory
214.9MiB live, 40 226.0MiB allocated; 8.3s collecting garbage
Samples
13.8s29 498×0valid
3.7s648×5exit
3.0s2 237×1valid
666.0ms769×0invalid
436.0ms338×2valid
132.0ms246×0exit
80.0ms55×3valid
1.0ms1×1exit
Compiler

Compiled 124 381 to 6 585 computations (94.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.1s
ival-mult: 4.5s (26.3% of total)
ival-div: 1.7s (10.1% of total)
ival-log: 1.7s (9.8% of total)
ival-add: 1.4s (7.9% of total)
adjust: 1.3s (7.9% of total)
ival-expm1: 730.0ms (4.3% of total)
ival-sub: 687.0ms (4% of total)
ival-pow2: 607.0ms (3.5% of total)
ival-pow: 607.0ms (3.5% of total)
ival-sqrt: 513.0ms (3% of total)
const: 490.0ms (2.9% of total)
ival-exp: 423.0ms (2.5% of total)
ival-sin: 361.0ms (2.1% of total)
ival-log1p: 360.0ms (2.1% of total)
ival-neg: 258.0ms (1.5% of total)
ival-cos: 179.0ms (1% of total)
ival-sinu: 172.0ms (1% of total)
ival-if: 133.0ms (0.8% of total)
ival-cosu: 133.0ms (0.8% of total)
ival-floor: 131.0ms (0.8% of total)
ival-fmax: 113.0ms (0.7% of total)
ival-log2: 89.0ms (0.5% of total)
ival-fabs: 70.0ms (0.4% of total)
ival-tanu: 66.0ms (0.4% of total)
exact: 63.0ms (0.4% of total)
ival-pi: 57.0ms (0.3% of total)
ival-tan: 43.0ms (0.3% of total)
ival-e: 40.0ms (0.2% of total)
ival-true: 30.0ms (0.2% of total)
ival-atan: 27.0ms (0.2% of total)
ival-acos: 23.0ms (0.1% of total)
ival-sinh: 17.0ms (0.1% of total)
ival->: 16.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival->=: 11.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)
ival-<: 6.0ms (0% of total)
ival-cbrt: 6.0ms (0% of total)
ival-then: 0.0ms (0% of total)

eval27.7s (7.6%)

Memory
400.3MiB live, 41 680.5MiB allocated; 8.8s collecting garbage
Compiler

Compiled 27 046 492 to 428 906 computations (98.4% saved)

analyze23.9s (6.6%)

Memory
202.8MiB live, 32 583.8MiB allocated; 8.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)

series21.3s (5.9%)

Memory
-8.8MiB live, 27 965.6MiB allocated; 6.5s collecting garbage
Counts
2 535 → 19 043
Calls

1452 calls:

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

rewrite18.1s (5%)

Memory
-271.4MiB live, 19 882.6MiB allocated; 3.2s collecting garbage
Stop Event
393×iter limit
117×node limit
15×unsound
Counts
2 535 → 41 739

derivations15.6s (4.3%)

Memory
-149.4MiB live, 13 362.3MiB allocated; 1.8s collecting garbage
Stop Event
33×fuel
Compiler

Compiled 29 049 to 4 081 computations (86% saved)

prune11.3s (3.1%)

Memory
-190.5MiB live, 18 968.5MiB allocated; 3.2s collecting garbage
Counts
98 814 → 4 179
Compiler

Compiled 562 168 to 220 792 computations (60.7% saved)

explain9.7s (2.7%)

Memory
-87.4MiB live, 14 448.9MiB allocated; 3.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity101793
-.f32#fcancellation41421
sqrt.f32#foflow-rescue3550
sqrt.f64#foflow-rescue3020
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2111
cos.f32#fsensitivity19719
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19616
-.f64#fcancellation1560
/.f32#fo/n1280
exp.f32#fsensitivity3412
/.f32#fu/n230
*.f64#fn*u160
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-rescue120
↳(*.f32 sinTheta_O sinTheta_O)underflow290
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow12
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow145
↳(*.f32 eta eta)underflow12
sqrt.f64#fuflow-rescue80
/.f32#fo/o80
/.f32#fn/o70
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u40
*.f64(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))))))n*o30
*.f32#fn*o30
pow.f64(pow.f64 (E.f64) x)sensitivity20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))u*o10
↳(*.f32 u normAngle)underflow6
↳(sin.f32 (*.f32 u normAngle))underflow6
↳(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))overflow2
Confusion
Predicted +Predicted -
+218869
-4765715
Precision
0.8213213213213213
Recall
0.969428444838281
Confusion?
Predicted +Predicted MaybePredicted -
+21883633
-4761075608
Precision?
0.7923049519059494
Recall?
0.9853788214443953
Freqs
test
numberfreq
05784
12239
2417
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+2320
-602
Precision?
0.8064516129032258
Recall?
1.0
Samples
3.0s16 098×0valid
324.0ms666×1valid
50.0ms130×2valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 721.0ms (34.7% of total)
ival-div: 224.0ms (10.8% of total)
ival-neg: 107.0ms (5.2% of total)
ival-add: 103.0ms (5% of total)
ival-pow: 103.0ms (5% of total)
ival-log: 97.0ms (4.7% of total)
ival-sub: 91.0ms (4.4% of total)
adjust: 87.0ms (4.2% of total)
ival-sqrt: 84.0ms (4% of total)
ival-sin: 44.0ms (2.1% of total)
ival-exp: 42.0ms (2% of total)
ival-floor: 41.0ms (2% of total)
ival-sinu: 36.0ms (1.7% of total)
ival-pow2: 30.0ms (1.4% of total)
ival-pi: 29.0ms (1.4% of total)
ival-cos: 24.0ms (1.2% of total)
const: 23.0ms (1.1% of total)
ival-cosu: 23.0ms (1.1% of total)
ival-tan: 22.0ms (1.1% of total)
ival-e: 20.0ms (1% of total)
ival-fabs: 17.0ms (0.8% of total)
ival-fmax: 16.0ms (0.8% of total)
ival-true: 16.0ms (0.8% of total)
exact: 15.0ms (0.7% of total)
ival-if: 13.0ms (0.6% of total)
ival-log2: 12.0ms (0.6% of total)
ival-assert: 8.0ms (0.4% of total)
ival-log1p: 7.0ms (0.3% of total)
ival-atan: 6.0ms (0.3% of total)
ival-sinh: 6.0ms (0.3% of total)
ival->=: 5.0ms (0.2% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

preprocess9.7s (2.7%)

Memory
296.4MiB live, 10 799.1MiB allocated; 2.9s collecting garbage
Stop Event
66×iter limit
65×node limit
1×saturated
Compiler

Compiled 79 000 to 17 151 computations (78.3% saved)

bsearch891.0ms (0.2%)

Memory
-74.1MiB live, 1 253.4MiB allocated; 159ms collecting garbage
Algorithm
75×binary-search
56×left-value
Stop Event
75×narrow-enough
Samples
417.0ms781×1valid
113.0ms1 041×0valid
111.0ms242×2valid
3.0ms38×0invalid
Compiler

Compiled 14 782 to 11 120 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 562.0ms
ival-pow: 232.0ms (41.3% of total)
ival-mult: 67.0ms (11.9% of total)
adjust: 56.0ms (10% of total)
ival-add: 44.0ms (7.8% of total)
ival-fabs: 37.0ms (6.6% of total)
ival-pow2: 35.0ms (6.2% of total)
ival-e: 27.0ms (4.8% of total)
ival-sub: 23.0ms (4.1% of total)
ival-sqrt: 15.0ms (2.7% of total)
ival-div: 11.0ms (2% of total)
ival-log1p: 9.0ms (1.6% of total)
exact: 3.0ms (0.5% of total)
ival-true: 2.0ms (0.4% of total)
ival-assert: 1.0ms (0.2% of total)

start4.0ms (0%)

Memory
12.4MiB live, 12.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...