Metrics for Herbie run

Date:	Monday, July 22nd, 2024
Commit:	11cd870a on better-preprocessing
Hostname:	nightly with Racket 8.11.1
Seed:	2024204
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

soundness3.4min (18.1%)

Memory

315.9MiB live, 38 676.5MiB allocated

Rules

1 950 164×	`accelerator-lowering-fma.f32`
1 950 164×	`accelerator-lowering-fma.f64`
936 254×	`-lowering-.f32`
936 254×	`-lowering-.f64`
545 556×	`+-lowering-+.f32`

Stop Event

220×	iter limit
202×	node limit
33×	fuel
22×	done
3×	unsound
1×	saturated

Compiler

Compiled 30 830 to 14 356 computations (53.4% saved)

sample2.8min (15%)

Memory

950.7MiB live, 136 122.9MiB allocated

Samples

1.9min	438 874×	0	valid
23.6s	3 882×	5	exit
7.0s	22 538×	1	valid
3.4s	7 791×	2	valid
969.0ms	8 319×	0	exit
531.0ms	1 263×	3	valid
131.0ms	533×	0	invalid
90.0ms	144×	4	valid

Precisions

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

ival-add: 27.8s (24% of total)

ival-mult: 23.3s (20.1% of total)

ival-sin: 20.2s (17.5% of total)

ival-sub: 19.1s (16.5% of total)

ival-div: 4.4s (3.8% of total)

const: 4.1s (3.5% of total)

ival-exp: 2.7s (2.4% of total)

ival-hypot: 2.2s (1.9% of total)

ival-log: 2.1s (1.9% of total)

adjust: 1.4s (1.2% of total)

ival-sqrt: 1.2s (1% of total)

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

ival-cos: 993.0ms (0.9% of total)

ival->: 916.0ms (0.8% of total)

ival-atan2: 718.0ms (0.6% of total)

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

exact: 368.0ms (0.3% of total)

ival-pow: 346.0ms (0.3% of total)

ival-<=: 342.0ms (0.3% of total)

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

ival-acosh: 285.0ms (0.2% of total)

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

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

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

ival-assert: 182.0ms (0.2% of total)

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

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

ival-and: 80.0ms (0.1% of total)

Bogosity

eval2.6min (14.1%)

Memory: 332.5MiB live, 70 514.4MiB allocated
Compiler: Compiled 12 115 799 to 523 371 computations (95.7% saved)

simplify2.4min (12.7%)

Memory

-8.9MiB live, 193 504.2MiB allocated

Algorithm

433×	egg-herbie

Rules

3 572 688×	`accelerator-lowering-fma.f32`
3 572 688×	`accelerator-lowering-fma.f64`
1 278 914×	`-lowering-.f32`
1 278 914×	`-lowering-.f64`
832 822×	`+-lowering-+.f32`

Stop Event

378×	iter limit
264×	node limit
169×	saturated

Counts

45 936 → 45 936

regimes2.3min (12.2%)

Memory

-201.2MiB live, 19 970.0MiB allocated

Counts

9 500 → 923

Calls

128 calls:

27.8s	(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))
18.5s	(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
14.7s	x
14.4s	(sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)))
14.2s	(-.f64 #s(literal 1 binary64) x)

Compiler

Compiled 14 965 to 8 601 computations (42.5% saved)

series2.1min (11.4%)

Memory

407.5MiB live, 19 755.7MiB allocated

Counts

2 472 → 45 936

Calls

8739 calls:

Time	Variable		Point	Expression
2.0min	x	@	0	(/ (- (pow (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ (* (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (exp (* x (neg x))) (+ (* 3275911/10000000 (fabs x)) 1))) 1)) 1) -2) (pow (* (/ 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ (* (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (exp (* x (neg x))) (+ (* 3275911/10000000 (fabs x)) 1))) 1)) 1)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3)) 2)) (+ (/ 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ (* (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (exp (* x (neg x))) (+ (* 3275911/10000000 (fabs x)) 1))) 1)) 1)) (* (/ 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ (* (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (exp (* x (neg x))) (+ (* 3275911/10000000 (fabs x)) 1))) 1)) 1)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))))
401.0ms	x	@	0	(/ (- (* 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)))
289.0ms	x	@	0	(- (pow (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ (* (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (exp (* x (neg x))) (+ (* 3275911/10000000 (fabs x)) 1))) 1)) 1) -2) (pow (* (/ 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ (* (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (exp (* x (neg x))) (+ (* 3275911/10000000 (fabs x)) 1))) 1)) 1)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3)) 2))
277.0ms	x.re	@	inf	(* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* (log (+ (* 1/2 (/ (* x.re x.re) x.im)) x.im)) y.im) (* (atan2 x.im x.re) y.re))))
255.0ms	x	@	-inf	(log (* x (log x)))

rewrite1.3min (6.8%)

Memory

-102.5MiB live, 121 074.8MiB allocated

Algorithm

189×	batch-egg-rewrite

Rules

911 240×	`accelerator-lowering-fma.f32`
911 240×	`accelerator-lowering-fma.f64`
724 516×	`-lowering-.f32`
724 516×	`-lowering-.f64`
567 978×	`/-lowering-/.f64`

Stop Event

217×	iter limit
179×	node limit
5×	saturated
5×	unsound

Counts

2 472 → 119 567

prune37.9s (3.4%)

Memory: -274.4MiB live, 63 353.0MiB allocated
Counts: 211 179 → 3 323
Compiler: Compiled 175 700 to 73 727 computations (58% saved)

localize30.3s (2.7%)

Memory

-259.5MiB live, 45 290.4MiB allocated

Samples

10.2s	39 313×	0	valid
2.3s	1 405×	2	valid
2.3s	3 032×	1	valid
1.5s	3 982×	0	invalid
796.0ms	112×	5	exit
593.0ms	319×	3	valid
201.0ms	179×	1	exit
50.0ms	22×	4	valid
11.0ms	16×	0	exit
6.0ms	3×	2	exit
3.0ms	1×	4	exit

Compiler

Compiled 51 360 to 5 199 computations (89.9% saved)

Precisions

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

ival-mult: 3.7s (28.1% of total)

ival-add: 2.5s (19.3% of total)

ival-div: 1.3s (9.9% of total)

const: 1.2s (8.9% of total)

adjust: 810.0ms (6.2% of total)

ival-asin: 530.0ms (4.1% of total)

ival-log: 511.0ms (3.9% of total)

ival-sqrt: 348.0ms (2.7% of total)

ival-sub: 280.0ms (2.1% of total)

ival-pow: 262.0ms (2% of total)

ival-exp: 208.0ms (1.6% of total)

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

ival-copysign: 168.0ms (1.3% of total)

ival-neg: 150.0ms (1.1% of total)

ival-hypot: 144.0ms (1.1% of total)

ival-acos: 141.0ms (1.1% of total)

ival-atan2: 136.0ms (1% of total)

ival-pow2: 129.0ms (1% of total)

ival-cos: 109.0ms (0.8% of total)

exact: 68.0ms (0.5% of total)

ival-fabs: 54.0ms (0.4% of total)

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

ival-true: 39.0ms (0.3% of total)

ival-pi: 37.0ms (0.3% of total)

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

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

ival-cbrt: 5.0ms (0% of total)

preprocess19.0s (1.7%)

Memory

241.1MiB live, 23 416.0MiB allocated

Algorithm

57×	egg-herbie

Rules

299 290×	`accelerator-lowering-fma.f32`
299 290×	`accelerator-lowering-fma.f64`
81 926×	`-lowering-.f32`
81 926×	`-lowering-.f64`
55 342×	`+-lowering-+.f32`

Stop Event

76×	saturated
57×	iter limit
38×	node limit

Compiler

Compiled 33 308 to 9 192 computations (72.4% saved)

explain13.6s (1.2%)

Memory

-184.9MiB live, 22 499.0MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1198	0
`-.f64`	`#f`	cancellation	720	2
`/.f64`	`#f`	o/o	679	0
`sqrt.f32`	`#f`	oflow-rescue	218	0
`/.f64`	`#f`	o/n	196	0
`sin.f64`	`#f`	sensitivity	178	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	176	0
`+.f64`	`#f`	cancellation	165	0
`sqrt.f64`	`#f`	uflow-rescue	141	0
`-.f64`	`#f`	nan-rescue	120	0
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	117	1
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	116	0
`/.f64`	`#f`	n/o	94	0
`/.f64`	`#f`	u/u	69	0
`*.f64`	`#f`	*nu**	63	0
`+.f64`	`#f`	nan-rescue	55	0
`*.f64`	`#f`	*no**	43	0
`/.f64`	`#f`	u/n	40	0
`/.f64`	`#f`	n/u	12	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)))`	oflow-rescue	4	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	4
↳	`(*.f64 (atan2.f64 x.im x.re) y.re)`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	64
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	121
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	3
↳	`(*.f64 x.im x.im)`	overflow	72
`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	4	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	4
↳	`(*.f64 (atan2.f64 x.im x.re) y.re)`	overflow	1
↳	`(*.f64 x.re x.re)`	overflow	64
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	121
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	3
↳	`(*.f64 x.im x.im)`	overflow	72
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	3	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	3
↳	`(*.f32 x x)`	overflow	146
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	146
`exp.f64`	`#f`	sensitivity	3	0
`*.f64`	`(.f64 (.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))`	*ou**	3	0
↳	`(.f64 (sqrt.f64 (.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))`	overflow	3
↳	`(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))`	overflow	3
↳	`(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))`	underflow	3

Confusion

	Predicted +	Predicted -
+	3657	35
-	178	10722

Precision

0.9535853976531943

Recall

0.9905200433369448

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3657	1	34
-	178	2	10720

Precision?

0.9531005732152162

Recall?

0.9907908992416035

Freqs

test

number	freq
0	10757
1	3253
2	582

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	0
-	0	0	21

Precision?

1.0

Recall?

1.0

Samples

2.8s	25 924×	0	valid
1.1s	2 424×	1	valid
468.0ms	720×	2	valid
108.0ms	104×	3	valid
6.0ms	10×	4	valid
1.0ms	2×	5	exit

Compiler

Compiled 15 052 to 2 968 computations (80.3% saved)

Precisions

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

ival-mult: 822.0ms (27.7% of total)

ival-add: 346.0ms (11.7% of total)

ival-div: 216.0ms (7.3% of total)

ival-exp: 210.0ms (7.1% of total)

ival-log: 195.0ms (6.6% of total)

const: 194.0ms (6.5% of total)

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

adjust: 153.0ms (5.2% of total)

ival-sub: 130.0ms (4.4% of total)

ival-atan2: 93.0ms (3.1% of total)

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

ival-cos: 75.0ms (2.5% of total)

ival-sin: 64.0ms (2.2% of total)

ival-sqrt: 58.0ms (2% of total)

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

ival-pow: 22.0ms (0.7% of total)

exact: 21.0ms (0.7% of total)

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

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

ival-neg: 16.0ms (0.5% of total)

ival-copysign: 14.0ms (0.5% of total)

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

ival-log1p: 7.0ms (0.2% of total)

bsearch5.3s (0.5%)

Memory

108.7MiB live, 7 535.6MiB allocated

Algorithm

289×	left-value
195×	binary-search

Stop Event

187×	narrow-enough
8×	predicate-same

Samples

2.6s	22 283×	0	valid
553.0ms	1 383×	1	valid
80.0ms	329×	2	valid
70.0ms	149×	3	valid

Compiler

Compiled 46 362 to 30 461 computations (34.3% saved)

Precisions

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

ival-mult: 825.0ms (34.5% of total)

ival-hypot: 310.0ms (13% of total)

ival-add: 294.0ms (12.3% of total)

const: 205.0ms (8.6% of total)

ival-sin: 136.0ms (5.7% of total)

ival-div: 115.0ms (4.8% of total)

ival-log: 108.0ms (4.5% of total)

ival-sub: 84.0ms (3.5% of total)

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

ival-exp: 61.0ms (2.6% of total)

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

adjust: 45.0ms (1.9% of total)

ival-sqrt: 35.0ms (1.5% of total)

ival-true: 17.0ms (0.7% of total)

exact: 10.0ms (0.4% of total)

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

analyze2.4s (0.2%)

Memory

-44.0MiB live, 3 367.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)

end0.0ms (0%)

Memory: 1.0MiB live, 1.0MiB allocated

soundness3.4min (18.1%)

sample2.8min (15%)

eval2.6min (14.1%)

simplify2.4min (12.7%)

regimes2.3min (12.2%)

series2.1min (11.4%)

rewrite1.3min (6.8%)

prune37.9s (3.4%)

localize30.3s (2.7%)

preprocess19.0s (1.7%)

explain13.6s (1.2%)

bsearch5.3s (0.5%)

analyze2.4s (0.2%)

end0.0ms (0%)

Profiling