Metrics for Herbie run

Date:	Friday, September 6th, 2024
Commit:	425312a4 on zane-concrete-values
Hostname:	nightly with Racket 8.11.1
Seed:	2024250
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

sample3.9min (24.6%)

Memory

897.1MiB live, 131 936.5MiB allocated

Samples

2.2min	3 841×	5	exit
1.2min	438 575×	0	valid
7.5s	22 421×	1	valid
4.1s	8 555×	2	valid
854.0ms	7 961×	0	exit
249.0ms	892×	3	valid
68.0ms	557×	0	invalid

Precisions

Click to see histograms. Total time spent on operations: 3.2min

ival-sin: 1.8min (56.5% of total)

ival-add: 23.7s (12.2% of total)

adjust: 19.0s (9.7% of total)

ival-mult: 15.5s (8% of total)

ival-div: 4.6s (2.4% of total)

const: 3.5s (1.8% of total)

ival-exp: 3.2s (1.7% of total)

ival-hypot: 2.7s (1.4% of total)

ival-sub: 2.6s (1.4% of total)

ival-log: 2.3s (1.2% of total)

ival-asin: 1.2s (0.6% of total)

ival-cos: 1.1s (0.6% of total)

ival-atan2: 922.0ms (0.5% of total)

ival-sqrt: 830.0ms (0.4% of total)

ival-pow: 389.0ms (0.2% of total)

ival-pi: 373.0ms (0.2% of total)

exact: 357.0ms (0.2% of total)

ival-atanh: 327.0ms (0.2% of total)

ival->: 307.0ms (0.2% of total)

ival-asinh: 294.0ms (0.2% of total)

ival-true: 276.0ms (0.1% of total)

ival-acosh: 272.0ms (0.1% of total)

ival-neg: 249.0ms (0.1% of total)

ival-assert: 193.0ms (0.1% of total)

ival-fabs: 166.0ms (0.1% of total)

ival-<=: 150.0ms (0.1% of total)

ival->=: 99.0ms (0.1% of total)

ival-and: 75.0ms (0% of total)

Bogosity

soundness3.1min (19.2%)

Memory

15.6MiB live, 33 163.9MiB allocated

Rules

1 897 734×	`lower-fma.f32`
1 897 298×	`lower-fma.f64`
959 352×	`lower-*.f32`
958 160×	`lower-*.f64`
544 502×	`lower-+.f32`

Stop Event

337×	iter limit
211×	node limit
38×	fuel
18×	done
5×	saturated
3×	unsound

Compiler

Compiled 34 540 to 15 863 computations (54.1% saved)

eval2.8min (17.6%)

Memory: 1 263.1MiB live, 67 415.6MiB allocated
Compiler: Compiled 10 550 589 to 565 584 computations (94.6% saved)

regimes2.4min (14.8%)

Memory

68.9MiB live, 20 675.6MiB allocated

Counts

9 514 → 922

Calls

130 calls:

44.7s	(-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))
30.9s	x
14.7s	(fabs.f64 x)
13.7s	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))))
7.7s	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 12 701 to 9 282 computations (26.9% saved)

simplify1.2min (7.5%)

Memory

32.5MiB live, 67 203.3MiB allocated

Algorithm

444×	egg-herbie

Rules

3 399 068×	`lower-fma.f32`
3 398 340×	`lower-fma.f64`
1 242 424×	`lower-*.f32`
1 240 440×	`lower-*.f64`
798 072×	`lower-+.f32`

Stop Event

582×	iter limit
262×	node limit
182×	saturated

Counts

56 892 → 56 174

rewrite48.1s (5%)

Memory

-251.4MiB live, 50 615.5MiB allocated

Rules

967 674×	`lower-fma.f32`
966 948×	`lower-fma.f64`
761 798×	`lower-*.f32`
759 924×	`lower-*.f64`
593 480×	`lower-/.f32`

Stop Event

410×	iter limit
185×	node limit
5×	saturated
4×	unsound

Counts

2 803 → 112 167

localize34.8s (3.6%)

Memory

-64.3MiB live, 34 216.6MiB allocated

Samples

15.5s	40 835×	0	valid
4.1s	3 328×	1	valid
2.5s	1 465×	2	valid
1.7s	3 203×	0	invalid
422.0ms	462×	1	exit
147.0ms	130×	3	valid
129.0ms	197×	0	exit
53.0ms	23×	5	exit
24.0ms	17×	4	valid
16.0ms	4×	2	exit

Compiler

Compiled 63 053 to 5 878 computations (90.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 19.2s

ival-mult: 8.1s (42.4% of total)

ival-add: 1.8s (9.5% of total)

ival-div: 1.6s (8.4% of total)

adjust: 1.1s (5.6% of total)

ival-log: 949.0ms (4.9% of total)

ival-pow: 788.0ms (4.1% of total)

const: 759.0ms (3.9% of total)

ival-exp: 562.0ms (2.9% of total)

ival-cos: 547.0ms (2.8% of total)

ival-sub: 489.0ms (2.5% of total)

ival-hypot: 475.0ms (2.5% of total)

ival-sin: 277.0ms (1.4% of total)

ival-sqrt: 275.0ms (1.4% of total)

ival-asin: 273.0ms (1.4% of total)

ival-acos: 179.0ms (0.9% of total)

ival-neg: 162.0ms (0.8% of total)

ival-pow2: 156.0ms (0.8% of total)

ival-fabs: 126.0ms (0.7% of total)

ival-log1p: 117.0ms (0.6% of total)

ival-copysign: 107.0ms (0.6% of total)

ival-pi: 80.0ms (0.4% of total)

exact: 75.0ms (0.4% of total)

ival-atan2: 64.0ms (0.3% of total)

ival-true: 42.0ms (0.2% of total)

ival-assert: 26.0ms (0.1% of total)

ival-cbrt: 15.0ms (0.1% of total)

ival-cosh: 14.0ms (0.1% of total)

series15.6s (1.6%)

Memory

-382.3MiB live, 20 063.9MiB allocated

Counts

2 803 → 56 892

Calls

1194 calls:

Time	Variable		Point	Expression
301.0ms	re	@	-inf	((* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (* 1/2 (sin re)) (* (+ (* (+ (* (+ (* -1/10080 (* re re)) 1/240) (* re re)) -1/12) (* re re)) 1/2) re) (+ (* (+ (* (+ (* -1/10080 (* re re)) 1/240) (* re re)) -1/12) (* re re)) 1/2) (* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (* (/ (neg (pow (sin re) 2)) (sin re)) im) (* im (+ (* 1/6 (* re re)) -1)) (+ (* 1/6 (* re re)) -1) (/ 1 (/ (+ 0 re) (- 0 (* re re)))) (/ (+ 0 re) (- 0 (* re re))) (+ 0 re) (- 0 (* re re)) (* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (pow (neg (sin re)) -1) (/ 1 (/ (pow (neg (sin re)) -1) im)) (* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (/ (pow (neg (sin re)) -1) im) (- (exp (neg im)) (exp im)) (+ (* -1/2520 (* im im)) -1/60) (* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (neg (sin re)) (- (exp (neg im)) (exp im)) (+ (* (* -1/60 im) im) -1/3))
200.0ms	x.im	@	-inf	((* (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2)) (/ 1 (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re))))))) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (/ 1 (* (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2)) (/ 1 (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re)))))))) (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sin (* (atan2 x.im x.re) y.re))) (* y.re (atan2 x.im x.re)) (atan2 x.im x.re) (/ 1 (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re))) (/ 1 (/ (pow (exp y.im) (atan2 x.im x.re)) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))))) (/ (pow (exp y.im) (atan2 x.im x.re)) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))))) (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (exp (+ (* y.re (log x.im)) (* (neg y.im) (atan2 x.im x.re)))) (sin (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re))))) (+ (* y.re (log x.im)) (* (neg y.im) (atan2 x.im x.re))) (log x.im) (/ 1 (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1)) (+ (* x.re x.re) (* x.im x.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (/ 1 (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1)))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (pow (exp y.im) (atan2 x.im x.re)) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re)))) (/ 1 (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re)))))) (sin (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re)))) (* (neg y.im) (atan2 x.im x.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sin (/ 1 (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1))) (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1))
184.0ms	base	@	-inf	((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (+ (* (/ (* 1/2 re) im) (/ re im)) (log im)) (* (log (sqrt (+ (* im im) (* re re)))) (/ 1 (log base))) (log (sqrt (+ (* im im) (* re re)))) (log im) (log base) (/ 1 (sqrt (pow (log base) -2))) (* (neg (log im)) (/ -1 (/ 1 (sqrt (pow (log base) -2))))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (neg (log im)) (exp (neg (log (log base)))) (* (log (sqrt (+ (* im im) (* re re)))) (exp (neg (log (log base))))) (* (pow (log base) -2) (* (log (sqrt (+ (* im im) (* re re)))) (log base))) (pow (log base) -2) (* (log (sqrt (+ (* im im) (* re re)))) (log base)) (/ 1 (log base)) (/ -1 (/ 1 (sqrt (pow (log base) -2)))) (log (log base)))
176.0ms	x	@	0	((copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (log (+ 1 (fabs x))) (fabs x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (fabs (neg x)) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (log (+ 1 (fabs (neg x)))) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (/ (fabs x) x) (log x)) (/ (fabs x) x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (fabs x) (neg x) (log x) (sqrt (+ (* x x) 1)) (- (/ -1/2 x) x))
168.0ms	x.im	@	0	((* (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2)) (/ 1 (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re))))))) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (/ 1 (* (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2)) (/ 1 (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re)))))))) (/ (pow (exp y.im) (atan2 x.im x.re)) (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sin (* (atan2 x.im x.re) y.re))) (* y.re (atan2 x.im x.re)) (atan2 x.im x.re) (/ 1 (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re))) (/ 1 (/ (pow (exp y.im) (atan2 x.im x.re)) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))))) (/ (pow (exp y.im) (atan2 x.im x.re)) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))))) (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (exp (+ (* y.re (log x.im)) (* (neg y.im) (atan2 x.im x.re)))) (sin (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re))))) (+ (* y.re (log x.im)) (* (neg y.im) (atan2 x.im x.re))) (log x.im) (/ 1 (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1)) (+ (* x.re x.re) (* x.im x.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (/ 1 (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1)))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (pow (exp y.im) (atan2 x.im x.re)) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re)))) (/ 1 (* (pow (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) 1/2) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* y.re (atan2 x.im x.re)))))) (sin (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re)))) (* (neg y.im) (atan2 x.im x.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sin (/ 1 (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1))) (pow (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) -1))

preprocess14.1s (1.5%)

Memory

55.6MiB live, 14 432.6MiB allocated

Algorithm

56×	egg-herbie

Rules

290 162×	`lower-fma.f64`
290 162×	`lower-fma.f32`
74 512×	`lower-*.f32`
74 158×	`lower-*.f64`
52 750×	`lower-+.f32`

Stop Event

112×	iter limit
76×	saturated
36×	node limit

Compiler

Compiled 44 455 to 13 197 computations (70.3% saved)

prune13.9s (1.4%)

Memory: -555.1MiB live, 24 648.9MiB allocated
Counts: 215 221 → 3 222
Compiler: Compiled 172 809 to 80 085 computations (53.7% saved)

explain12.1s (1.3%)

Memory

-262.6MiB live, 15 324.7MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1165	0
`-.f64`	`#f`	cancellation	715	0
`/.f64`	`#f`	o/o	644	0
`/.f64`	`#f`	o/n	198	0
`sqrt.f32`	`#f`	oflow-rescue	189	0
`sin.f64`	`(sin.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	169	0
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	sensitivity	169	0
`+.f64`	`#f`	cancellation	158	0
`sqrt.f64`	`#f`	uflow-rescue	132	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	118	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	115	2
`-.f64`	`#f`	nan-rescue	93	0
`/.f64`	`#f`	n/o	72	0
`*.f64`	`#f`	*nu**	69	0
`/.f64`	`#f`	u/u	68	0
`+.f64`	`#f`	nan-rescue	56	0
`/.f64`	`#f`	u/n	31	0
`*.f64`	`#f`	*no**	31	0
`/.f64`	`#f`	n/u	15	0
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	2	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	2
↳	`(*.f32 x x)`	overflow	138
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	138
`exp.f64`	`#f`	sensitivity	2	2
`cos.f64`	`(cos.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	1	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	69
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	116
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	66
`sin.f64`	`(sin.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re)))`	oflow-rescue	1	0
↳	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) y.im) (.f64 (atan2.f64 x.im x.re) y.re))`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	69
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	116
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	1
↳	`(*.f64 x.im x.im)`	overflow	66

Confusion

	Predicted +	Predicted -
+	3521	296
-	137	10382

Precision

0.962547840349918

Recall

0.9224521875818705

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3521	2	294
-	137	5	10377

Precision?

0.9612551159618008

Recall?

0.9229761592873985

Freqs

test

number	freq
0	10678
1	3112
2	537
3	9

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	35	0	1
-	0	2	18

Precision?

0.9459459459459459

Recall?

0.9722222222222222

Samples

2.9s	25 918×	0	valid
739.0ms	1 978×	1	valid
406.0ms	732×	2	valid
17.0ms	44×	3	valid

Compiler

Compiled 11 645 to 2 099 computations (82% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.7s

ival-mult: 707.0ms (25.9% of total)

ival-log: 256.0ms (9.4% of total)

ival-add: 214.0ms (7.9% of total)

ival-div: 202.0ms (7.4% of total)

ival-hypot: 181.0ms (6.6% of total)

ival-exp: 171.0ms (6.3% of total)

ival-sin: 167.0ms (6.1% of total)

ival-sub: 163.0ms (6% of total)

ival-atan2: 152.0ms (5.6% of total)

adjust: 108.0ms (4% of total)

const: 94.0ms (3.4% of total)

ival-asin: 73.0ms (2.7% of total)

ival-sqrt: 64.0ms (2.3% of total)

ival-cos: 59.0ms (2.2% of total)

ival-true: 25.0ms (0.9% of total)

ival-fabs: 17.0ms (0.6% of total)

exact: 17.0ms (0.6% of total)

ival-assert: 12.0ms (0.4% of total)

ival-copysign: 12.0ms (0.4% of total)

ival-pi: 11.0ms (0.4% of total)

ival-log1p: 10.0ms (0.4% of total)

ival-neg: 8.0ms (0.3% of total)

end10.0s (1%)

Memory: -3.7MiB live, 6 938.7MiB allocated

bsearch4.4s (0.5%)

Memory

59.1MiB live, 5 080.3MiB allocated

Algorithm

241×	binary-search
224×	left-value

Stop Event

231×	narrow-enough
10×	predicate-same

Samples

2.0s	14 123×	0	valid
538.0ms	1 445×	1	valid
81.0ms	193×	2	valid
41.0ms	63×	3	valid

Compiler

Compiled 50 025 to 45 339 computations (9.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.0s

ival-mult: 678.0ms (33.5% of total)

ival-add: 333.0ms (16.5% of total)

ival-hypot: 179.0ms (8.9% of total)

ival-div: 178.0ms (8.8% of total)

ival-sin: 135.0ms (6.7% of total)

ival-log: 120.0ms (5.9% of total)

ival-sub: 81.0ms (4% of total)

ival-atan2: 69.0ms (3.4% of total)

ival-exp: 64.0ms (3.2% of total)

adjust: 55.0ms (2.7% of total)

ival-cos: 55.0ms (2.7% of total)

const: 31.0ms (1.5% of total)

ival-sqrt: 20.0ms (1% of total)

ival-true: 12.0ms (0.6% of total)

ival-assert: 6.0ms (0.3% of total)

exact: 4.0ms (0.2% of total)

ival-neg: 2.0ms (0.1% of total)

analyze2.7s (0.3%)

Memory

79.8MiB live, 3 745.9MiB allocated

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
55.4%	47.8%	38.5%	13.7%	0%	0%	0%	1
65.9%	55.7%	28.9%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1 498 to 821 computations (45.2% saved)

start2.0ms (0%)

Memory: 4.8MiB live, 4.7MiB allocated

sample3.9min (24.6%)

soundness3.1min (19.2%)

eval2.8min (17.6%)

regimes2.4min (14.8%)

simplify1.2min (7.5%)

rewrite48.1s (5%)

localize34.8s (3.6%)

series15.6s (1.6%)

preprocess14.1s (1.5%)

prune13.9s (1.4%)

explain12.1s (1.3%)

end10.0s (1%)

bsearch4.4s (0.5%)

analyze2.7s (0.3%)

start2.0ms (0%)

Profiling