Herbie run

Date:Sunday, January 19th, 2025
Commit:7183cd93 on autofix-12-1
Seed:2025019
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:453 790.4 MB

Time bar (total: 6.0min)

sample1.8min (30.2%)

Memory
1 248.6MiB live, 132 201.5MiB allocated; 42.6s collecting garbage
Samples
58.4s262 171×0valid
18.8s1 558×5exit
4.8s8 060×1valid
1.8s10 982×0invalid
850.0ms2 216×2valid
425.0ms695×1invalid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-pow: 17.2s (24.3% of total)
ival-mult: 10.5s (14.9% of total)
const: 7.7s (10.8% of total)
ival-<=: 6.2s (8.8% of total)
ival-div: 4.4s (6.2% of total)
ival-add: 2.9s (4.1% of total)
ival-e: 2.5s (3.5% of total)
ival-sub: 2.2s (3.1% of total)
ival-sqrt: 1.6s (2.3% of total)
ival-log: 1.5s (2.1% of total)
ival-fabs: 1.5s (2.1% of total)
ival-pow2: 1.4s (2% of total)
ival-and: 1.2s (1.7% of total)
ival-sin: 1.1s (1.6% of total)
adjust: 1.1s (1.6% of total)
ival-exp: 894.0ms (1.3% of total)
ival-floor: 813.0ms (1.1% of total)
ival-pi: 724.0ms (1% of total)
ival-neg: 615.0ms (0.9% of total)
ival-sinu: 589.0ms (0.8% of total)
ival-log1p: 495.0ms (0.7% of total)
ival-cosu: 495.0ms (0.7% of total)
exact: 454.0ms (0.6% of total)
ival-cos: 449.0ms (0.6% of total)
ival-tan: 320.0ms (0.5% of total)
ival-fmax: 274.0ms (0.4% of total)
ival-<: 251.0ms (0.4% of total)
ival->: 243.0ms (0.3% of total)
ival-if: 242.0ms (0.3% of total)
ival-log2: 211.0ms (0.3% of total)
ival-atan: 164.0ms (0.2% of total)
ival-==: 138.0ms (0.2% of total)
ival-asin: 115.0ms (0.2% of total)
ival-assert: 104.0ms (0.1% of total)
ival-sinh: 89.0ms (0.1% of total)
ival->=: 60.0ms (0.1% of total)
ival-true: 26.0ms (0% of total)
Bogosity

simplify53.8s (15%)

Memory
-52.7MiB live, 59 182.2MiB allocated; 13.8s collecting garbage
Stop Event
396×iter limit
296×node limit
1×saturated
Counts
18 489 → 18 489

regimes34.3s (9.5%)

Memory
479.0MiB live, 47 589.3MiB allocated; 9.9s collecting garbage
Counts
12 519 → 515
Calls

160 calls:

1.2s
uy
1.0s
(/.f32 cos2phi (*.f32 alphax alphax))
959.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
909.0ms
s
905.0ms
ux
Compiler

Compiled 26 236 to 21 002 computations (19.9% saved)

eval31.7s (8.8%)

Memory
263.5MiB live, 45 741.6MiB allocated; 10.1s collecting garbage
Compiler

Compiled 34 049 357 to 424 493 computations (98.8% saved)

localize27.4s (7.6%)

Memory
152.3MiB live, 36 261.3MiB allocated; 6.5s collecting garbage
Samples
13.0s29 402×0valid
2.8s698×5exit
1.6s1 652×1valid
880.0ms955×0invalid
396.0ms813×0exit
185.0ms255×2valid
22.0ms16×3valid
1.0ms1×4valid
Compiler

Compiled 135 020 to 6 465 computations (95.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.9s
ival-mult: 4.5s (30.3% of total)
ival-div: 1.9s (12.8% of total)
adjust: 1.3s (8.8% of total)
ival-add: 1.2s (8% of total)
ival-pow: 711.0ms (4.8% of total)
ival-sub: 697.0ms (4.7% of total)
ival-pow2: 560.0ms (3.8% of total)
ival-sqrt: 427.0ms (2.9% of total)
ival-exp: 403.0ms (2.7% of total)
const: 395.0ms (2.7% of total)
ival-log: 389.0ms (2.6% of total)
ival-sin: 381.0ms (2.6% of total)
ival-log1p: 342.0ms (2.3% of total)
ival-neg: 202.0ms (1.4% of total)
ival-fmax: 173.0ms (1.2% of total)
ival-sinu: 160.0ms (1.1% of total)
ival-cos: 154.0ms (1% of total)
ival-cosu: 115.0ms (0.8% of total)
ival-floor: 109.0ms (0.7% of total)
ival-fabs: 103.0ms (0.7% of total)
ival-if: 80.0ms (0.5% of total)
exact: 64.0ms (0.4% of total)
ival-tan: 62.0ms (0.4% of total)
ival-log2: 59.0ms (0.4% of total)
ival-expm1: 52.0ms (0.4% of total)
ival-tanu: 49.0ms (0.3% of total)
ival-pi: 47.0ms (0.3% of total)
ival->: 40.0ms (0.3% of total)
ival-e: 40.0ms (0.3% of total)
ival-cbrt: 38.0ms (0.3% of total)
ival-atan: 33.0ms (0.2% of total)
ival-true: 28.0ms (0.2% of total)
ival-assert: 14.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)
ival->=: 9.0ms (0.1% of total)
ival-acos: 6.0ms (0% of total)
ival-<: 5.0ms (0% of total)
ival-then: 0.0ms (0% of total)

analyze22.3s (6.2%)

Memory
-137.1MiB live, 30 979.1MiB allocated; 8.3s 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
60.4MiB live, 20 072.2MiB allocated; 4.7s collecting garbage
Stop Event
389×iter limit
118×node limit
14×unsound
Counts
2 504 → 42 077

series17.0s (4.7%)

Memory
446.0MiB live, 22 199.1MiB allocated; 3.7s collecting garbage
Counts
2 504 → 18 489
Calls

1452 calls:

TimeVariablePointExpression
265.0ms
s
@0
((* (+ (* -64 (pow u 3)) -1) (* -4 u)) (+ (* (* u u) 16) (+ (* -4 u) 1)) (* (neg (- (log (+ 1 (pow (* u -4) 3))) (log (+ 1 (/ (* (+ (* -64 (pow u 3)) -1) (* -4 u)) (+ (* (* u u) 16) (+ (* -4 u) 1))))))) s) (neg (- (log (+ 1 (pow (* u -4) 3))) (log (+ 1 (/ (* (+ (* -64 (pow u 3)) -1) (* -4 u)) (+ (* (* u u) 16) (+ (* -4 u) 1))))))) (* s (log (/ 1 (- 1 (* 4 u))))) (* (* s (+ (* 8 u) 4)) u) (* s (+ (* 8 u) 4)) (+ (* 8 u) 4) (+ (* (* (* s (+ (* (+ (* 64 u) 64/3) u) 8)) u) u) (* (* 4 s) u)) (* s (log (/ 1 (- 1 (* 4 u))))) (* (* s (+ (* (+ (* 64 u) 64/3) u) 8)) u) (* s (+ (* (+ (* 64 u) 64/3) u) 8)) (* (neg (log (+ 1 (* -4 u)))) s) (neg (log (+ 1 (* -4 u)))) (log (+ 1 (* -4 u))) (* (+ (* (- (* (+ (* -64 u) -64/3) u) 8) u) -4) u) (log (/ 1 (+ (* u -4) 1))) (* (log (/ 1 (+ (* u -4) 1))) s) (/ 1 (+ (* u -4) 1)) (+ (* u -4) 1) (log (+ 1 (/ (* (+ (* -64 (pow u 3)) -1) (* -4 u)) (+ (* (* u u) 16) (+ (* -4 u) 1))))) (/ (* (+ (* -64 (pow u 3)) -1) (* -4 u)) (+ (* (* u u) 16) (+ (* -4 u) 1))) (* (+ (* -64 u) -64/3) u) (+ (* -64 u) -64/3))
210.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))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (/ (PI) s) (* (* (PI) (PI)) 0) (+ (* (/ (- (/ (+ (* (pow (+ (* (* -1/2 (PI)) u) (* 1/4 (PI))) 2) -8) (* (* (* (PI) (PI)) 0) -4)) s) (* (+ (* (* -1/2 (PI)) u) (* 1/4 (PI))) 4)) s) -1) 1) (+ (* (* -1/2 (PI)) u) (* 1/4 (PI))) (* (* (* (PI) (PI)) 0) -4) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 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))))))) -3) 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))))))) -2) -1) (/ 1 (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) 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))))))) -3) 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))))))) -2) -1) (/ 1 (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) 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))))))) -3) 1)) (PI) (exp (/ (PI) s)) (exp (/ (neg (PI)) s)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (* (PI) (PI)) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (exp (/ (PI) s)) (log (+ 1 (exp (/ (PI) s)))))
198.0ms
s
@0
((* (sqrt (PI)) (/ (sqrt (PI)) s)) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (* (sqrt (PI)) (/ (sqrt (PI)) s)))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) 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) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (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)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 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))))))) -2) 1)) (log (+ 1 (/ 1 (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) 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))))))) -2) 1)) (log (+ 1 (/ 1 (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) 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))))))) -2) 1)) (exp (* (sqrt (PI)) (/ (sqrt (PI)) s))) (exp (/ (PI) s)) (exp (/ (neg (PI)) s)) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (exp (/ (PI) s)) (log (+ 1 (exp (/ (PI) s)))))
187.0ms
s
@0
((+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (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)) (/ (PI) s) (/ (neg (PI)) s) (exp (/ (PI) s)))
161.0ms
s
@0
((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (log (+ 1 (* (- u 1/4) -4/3))) s) -3) (* (log (+ 1 (* (- u 1/4) -4/3))) s) (log (+ 1 (* (- u 1/4) -4/3))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* -3 s) (log (+ 1 (* -4/3 (- u 1/4))))) (* -3 s) (log (+ 1 (* -4/3 (- u 1/4)))) (* (* (neg (log (- 1 (/ (- u 1/4) 3/4)))) s) 3) (* (neg (log (- 1 (/ (- u 1/4) 3/4)))) s) (neg (log (- 1 (/ (- u 1/4) 3/4)))) (log (- 1 (/ (- u 1/4) 3/4))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* -3 s) (log (+ 1 (/ (* (+ (* u u) -1/16) -4/3) (+ 1/4 u))))) (log (+ 1 (/ (* (+ (* u u) -1/16) -4/3) (+ 1/4 u)))) (* (- u 1/4) -4/3) (+ (* -4/3 u) 1/3) (* -4/3 (- u 1/4)) (+ (* u -4/3) 4/3) (* (+ (* u u) -1/16) -4/3) (/ (* (+ (* u u) -1/16) -4/3) (+ 1/4 u)))

derivations16.0s (4.4%)

Memory
223.6MiB live, 13 815.1MiB allocated; 3.0s collecting garbage
Stop Event
33×fuel
Compiler

Compiled 28 912 to 4 085 computations (85.9% saved)

prune11.1s (3.1%)

Memory
32.0MiB live, 19 494.5MiB allocated; 2.5s collecting garbage
Counts
104 495 → 4 057
Compiler

Compiled 562 504 to 213 636 computations (62% saved)

preprocess9.3s (2.6%)

Memory
224.6MiB live, 10 648.5MiB allocated; 2.3s collecting garbage
Stop Event
66×iter limit
65×node limit
1×saturated
Compiler

Compiled 73 530 to 15 039 computations (79.5% saved)

explain9.2s (2.6%)

Memory
-76.8MiB live, 14 596.0MiB allocated; 2.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity103355
-.f32#fcancellation38231
sqrt.f32#foflow-rescue3390
sqrt.f64#foflow-rescue2820
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2000
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)))))))sensitivity1908
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18614
-.f64#fcancellation1580
/.f32#fo/n1120
exp.f32#fsensitivity3632
/.f32#fu/n230
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-rescue190
↳(*.f32 sinTheta_O sinTheta_O)underflow314
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow19
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow157
↳(*.f32 eta eta)underflow19
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u110
/.f32#fo/o80
sqrt.f64#fuflow-rescue60
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o40
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow10
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow10
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u20
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
sin.f32(sin.f32 (*.f32 x (PI.f32)))cancellation10
Confusion
Predicted +Predicted -
+215754
-4345803
Precision
0.8324971053647241
Recall
0.9755766621438263
Confusion?
Predicted +Predicted MaybePredicted -
+21572529
-4341115692
Precision?
0.8001466813348002
Recall?
0.9868837630031659
Freqs
test
numberfreq
05857
12197
2386
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+2111
-613
Precision?
0.7586206896551724
Recall?
0.9565217391304348
Samples
2.6s16 136×0valid
319.0ms614×1valid
56.0ms144×2valid
1.0ms2×3valid
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: 590.0ms (27.5% of total)
ival-div: 254.0ms (11.9% of total)
ival-add: 161.0ms (7.5% of total)
ival-log: 156.0ms (7.3% of total)
ival-sub: 141.0ms (6.6% of total)
ival-pow: 121.0ms (5.6% of total)
ival-sqrt: 76.0ms (3.5% of total)
const: 64.0ms (3% of total)
ival-sin: 58.0ms (2.7% of total)
ival-sinu: 55.0ms (2.6% of total)
ival-e: 52.0ms (2.4% of total)
adjust: 43.0ms (2% of total)
ival-exp: 40.0ms (1.9% of total)
ival-floor: 40.0ms (1.9% of total)
ival-neg: 35.0ms (1.6% of total)
ival-pi: 31.0ms (1.4% of total)
ival-pow2: 30.0ms (1.4% of total)
ival-fabs: 26.0ms (1.2% of total)
ival-cos: 24.0ms (1.1% of total)
ival-cosu: 22.0ms (1% of total)
ival-tan: 19.0ms (0.9% of total)
ival-fmax: 17.0ms (0.8% of total)
ival-true: 15.0ms (0.7% of total)
exact: 15.0ms (0.7% of total)
ival-log2: 12.0ms (0.6% of total)
ival-if: 12.0ms (0.6% of total)
ival-assert: 7.0ms (0.3% of total)
ival-log1p: 7.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)

bsearch713.0ms (0.2%)

Memory
128.6MiB live, 998.7MiB allocated; 103ms collecting garbage
Algorithm
82×binary-search
59×left-value
Stop Event
79×narrow-enough
3×predicate-same
Samples
289.0ms662×1valid
159.0ms1 022×0valid
64.0ms204×2valid
0.0ms1×0invalid
Compiler

Compiled 14 620 to 11 140 computations (23.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 416.0ms
ival-pow: 148.0ms (35.6% of total)
ival-sub: 49.0ms (11.8% of total)
adjust: 49.0ms (11.8% of total)
ival-pow2: 43.0ms (10.3% of total)
ival-mult: 35.0ms (8.4% of total)
ival-e: 25.0ms (6% of total)
ival-add: 20.0ms (4.8% of total)
ival-sqrt: 12.0ms (2.9% of total)
ival-div: 11.0ms (2.6% of total)
ival-fabs: 11.0ms (2.6% of total)
ival-log1p: 9.0ms (2.2% of total)
exact: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.2% of total)
ival-true: 1.0ms (0.2% of total)

start4.0ms (0%)

Memory
10.8MiB live, 10.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...