Metrics for Herbie run

Date:	Sunday, November 24th, 2024
Commit:	0f9c160f on autofix-4-1
Hostname:	nightly with Racket 8.10
Seed:	2024329
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:	404 609.0 MB

sample1.7min (25.4%)

Memory

1 374.6MiB live, 109 140.2MiB allocated

Samples

1.0min	438 680×	0	valid
7.4s	22 357×	1	valid
4.2s	8 701×	2	valid
2.7s	4 390×	0	invalid
1.9s	9 728×	0	exit
272.0ms	904×	3	valid

Precisions

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

ival-mult: 17.4s (31.5% of total)

ival-add: 6.6s (11.9% of total)

ival-div: 5.2s (9.5% of total)

const: 4.9s (8.9% of total)

ival-exp: 3.4s (6.1% of total)

ival-hypot: 2.5s (4.5% of total)

ival-sub: 2.1s (3.9% of total)

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

ival-asin: 1.4s (2.5% of total)

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

adjust: 1.2s (2.2% of total)

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

ival-atan2: 957.0ms (1.7% of total)

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

ival-<=: 479.0ms (0.9% of total)

ival-asinh: 437.0ms (0.8% of total)

exact: 370.0ms (0.7% of total)

ival->: 356.0ms (0.6% of total)

ival-pow: 345.0ms (0.6% of total)

ival-acosh: 328.0ms (0.6% of total)

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

ival-sinu: 308.0ms (0.6% of total)

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

ival-true: 284.0ms (0.5% of total)

ival-pi: 253.0ms (0.5% of total)

ival-atanh: 220.0ms (0.4% of total)

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

ival->=: 110.0ms (0.2% of total)

ival-cosu: 84.0ms (0.2% of total)

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

Bogosity

simplify1.3min (18.8%)

Memory

280.0MiB live, 67 279.3MiB allocated

Algorithm

469×	egg-herbie

Stop Event

620×	iter limit
353×	node limit
114×	saturated
2×	unsound

Counts

14 957 → 14 786

soundness1.0min (15.4%)

Memory

-307.6MiB live, 32 762.8MiB allocated

Stop Event

352×	iter limit
226×	node limit
36×	fuel
21×	done
3×	saturated
1×	unsound

Compiler

Compiled 68 560 to 23 618 computations (65.6% saved)

rewrite42.7s (10.5%)

Memory

583.5MiB live, 45 218.5MiB allocated

Stop Event

446×	iter limit
195×	node limit
6×	unsound
5×	saturated

Counts

2 828 → 86 495

localize30.1s (7.4%)

Memory

-353.6MiB live, 37 083.9MiB allocated

Samples

13.2s	42 884×	0	valid
6.0s	4 942×	1	valid
2.2s	1 628×	2	valid
871.0ms	2 146×	0	invalid
282.0ms	765×	0	exit
158.0ms	237×	1	exit
61.0ms	109×	3	valid
13.0ms	21×	4	valid
6.0ms	4×	5	exit

Compiler

Compiled 69 129 to 6 268 computations (90.9% saved)

Precisions

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

ival-mult: 4.9s (29.1% of total)

ival-add: 2.1s (12.5% of total)

ival-div: 1.7s (10.1% of total)

const: 1.6s (9.7% of total)

adjust: 1.1s (6.8% of total)

ival-sub: 893.0ms (5.3% of total)

ival-pow: 695.0ms (4.2% of total)

ival-log: 676.0ms (4% of total)

ival-hypot: 537.0ms (3.2% of total)

ival-exp: 468.0ms (2.8% of total)

ival-asin: 325.0ms (1.9% of total)

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

ival-cos: 180.0ms (1.1% of total)

ival-sin: 171.0ms (1% of total)

ival-neg: 144.0ms (0.9% of total)

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

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

ival-fabs: 90.0ms (0.5% of total)

ival-acos: 78.0ms (0.5% of total)

exact: 77.0ms (0.5% of total)

ival-sinh: 75.0ms (0.4% of total)

ival-acosh: 71.0ms (0.4% of total)

ival-pow2: 67.0ms (0.4% of total)

ival-cosh: 67.0ms (0.4% of total)

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

ival-log1p: 54.0ms (0.3% of total)

ival-asinh: 44.0ms (0.3% of total)

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

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

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

ival-cosu: 8.0ms (0% of total)

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

eval24.2s (5.9%)

Memory: -259.3MiB live, 32 214.1MiB allocated
Compiler: Compiled 5 996 446 to 450 463 computations (92.5% saved)

explain14.4s (3.5%)

Memory

-324.7MiB live, 17 567.9MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	1195	0
`-.f64`	`#f`	cancellation	777	2
`/.f64`	`#f`	o/o	600	0
`sqrt.f32`	`#f`	oflow-rescue	196	0
`/.f64`	`#f`	o/n	196	0
`sin.f64`	`#f`	sensitivity	192	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	188	0
`+.f64`	`#f`	cancellation	160	0
`sqrt.f64`	`#f`	uflow-rescue	147	0
`log.f64`	`(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))`	sensitivity	140	1
`log.f32`	`(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))`	sensitivity	137	1
`-.f64`	`#f`	nan-rescue	122	0
`/.f64`	`#f`	n/o	100	0
`/.f64`	`#f`	u/u	73	0
`*.f64`	`#f`	*nu**	68	0
`+.f64`	`#f`	nan-rescue	54	0
`/.f64`	`#f`	u/n	32	0
`*.f64`	`#f`	*no**	29	0
`/.f64`	`#f`	n/u	17	0
`log.f64`	`#f`	oflow-rescue	4	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**	4	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	4
↳	`(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	4
↳	`(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	4
`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	2	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	2
↳	`(*.f64 x.re x.re)`	overflow	73
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	127
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	2
↳	`(*.f64 x.im x.im)`	overflow	65
`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	2	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	2
↳	`(*.f64 x.re x.re)`	overflow	73
↳	`(+.f64 (.f64 x.re x.re) (.f64 x.im x.im))`	overflow	127
↳	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)`	overflow	2
↳	`(*.f64 x.im x.im)`	overflow	65
`log.f32`	`(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))`	oflow-rescue	1	0
↳	`(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))`	overflow	1
↳	`(*.f32 x x)`	overflow	134
↳	`(-.f32 (*.f32 x x) #s(literal 1 binary32))`	overflow	134

Confusion

	Predicted +	Predicted -
+	3678	100
-	185	10629

Precision

0.9521097592544654

Recall

0.9735309687665431

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3678	3	97
-	185	2	10627

Precision?

0.9516546018614271

Recall?

0.9743250397035469

Freqs

test

number	freq
0	10729
1	3296
2	561
3	6

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	1
-	1	0	19

Precision?

0.972972972972973

Recall?

0.972972972972973

Samples

3.4s	25 748×	0	valid
1.2s	2 530×	1	valid
509.0ms	848×	2	valid
23.0ms	56×	3	valid
1.0ms	2×	5	exit

Compiler

Compiled 13 558 to 2 283 computations (83.2% saved)

Precisions

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

ival-mult: 990.0ms (28.6% of total)

ival-add: 338.0ms (9.8% of total)

const: 294.0ms (8.5% of total)

ival-div: 249.0ms (7.2% of total)

ival-log: 246.0ms (7.1% of total)

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

ival-exp: 226.0ms (6.5% of total)

adjust: 207.0ms (6% of total)

ival-sub: 118.0ms (3.4% of total)

ival-cos: 104.0ms (3% of total)

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

ival-atan2: 91.0ms (2.6% of total)

ival-sin: 57.0ms (1.6% of total)

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

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

ival-pow: 21.0ms (0.6% of total)

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

exact: 20.0ms (0.6% of total)

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

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

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

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

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

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

ival-cosu: 5.0ms (0.1% of total)

regimes13.2s (3.2%)

Memory

11.4MiB live, 16 231.5MiB allocated

Counts

7 479 → 872

Calls

132 calls:

1.2s	im
932.0ms	re
511.0ms	y.im
469.0ms	x
466.0ms	y.re

Compiler

Compiled 13 953 to 9 788 computations (29.9% saved)

preprocess13.0s (3.2%)

Memory

877.3MiB live, 13 326.5MiB allocated

Algorithm

57×	egg-herbie

Stop Event

114×	iter limit
60×	saturated
54×	node limit

Compiler

Compiled 83 314 to 13 759 computations (83.5% saved)

series9.9s (2.4%)

Memory

790.5MiB live, 12 259.0MiB allocated

Counts

2 828 → 14 957

Calls

1284 calls:

Time	Variable		Point	Expression
186.0ms	base	@	inf	((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (log (sqrt (+ (* re re) (* im im)))) 0) (sqrt (+ (* re re) (* im im))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (log base)) (* (atan2 im re) (log base)))
180.0ms	beta	@	inf	((+ (* (/ beta (+ (+ beta alpha) 2)) (/ alpha 1)) (/ (+ (+ beta alpha) 1) (+ (+ beta alpha) 2))) (/ alpha 1) (* 2 1) (+ (+ (+ alpha beta) (* 2 1)) 1) (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1)) (/ (+ 1 alpha) (* beta beta)) (+ 1 alpha) (* beta beta) (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1)) (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ 1 (+ beta alpha)) 2) (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* beta alpha)) (- (+ (+ (/ (+ 1 alpha) beta) alpha) 1) (* (+ 1 alpha) (/ (+ 2 alpha) beta))) (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1)) (/ (/ (+ (* (/ beta (+ (+ beta alpha) 2)) (/ alpha 1)) (/ (+ (+ beta alpha) 1) (+ (+ beta alpha) 2))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1)) (/ (+ (* (/ beta (+ (+ beta alpha) 2)) (/ alpha 1)) (/ (+ (+ beta alpha) 1) (+ (+ beta alpha) 2))) (+ (+ alpha beta) (* 2 1))) (/ (+ (+ beta alpha) 1) (+ (+ beta alpha) 2)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ 1 (+ beta alpha)) 2)) (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (* (+ 1 alpha) (/ (+ 2 alpha) beta)))
171.0ms	im	@	-inf	((/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (log 10) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (log im) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (/ (log (sqrt (+ (* re re) (* im im)))) (neg (log 1/10))) (log (sqrt (+ (* re re) (* im im)))) (/ (neg (log (sqrt (+ (* im im) (* re re))))) (log 1/10)) (neg (log (sqrt (+ (* im im) (* re re))))) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) (/ (- (log (sqrt (+ (* (pow im 3) (pow im 3)) (* (pow re 3) (pow re 3))))) (log (sqrt (+ (* (+ (* im im) (* re re)) (+ (* im im) (* re re))) (* (* im re) (* im re)))))) (log 10)) (- (log (sqrt (+ (* (pow im 3) (pow im 3)) (* (pow re 3) (pow re 3))))) (log (sqrt (+ (* (+ (* im im) (* re re)) (+ (* im im) (* re re))) (* (* im re) (* im re)))))) (log (sqrt (+ (* (pow im 3) (pow im 3)) (* (pow re 3) (pow re 3))))) (sqrt (+ (* (pow im 3) (pow im 3)) (* (pow re 3) (pow re 3)))) (log 1/10) (log (sqrt (+ (* (+ (* im im) (* re re)) (+ (* im im) (* re re))) (* (* im re) (* im re))))))
150.0ms	y.im	@	inf	((* (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 (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.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)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) 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 (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (pow (exp (neg y.im)) (atan2 x.im x.re)) (exp (neg y.im)) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (* (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)))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (sin (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re))) (exp (neg (+ (* (log (/ -1 x.im)) y.re) (* (atan2 x.im x.re) y.im))))) (* (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)))) (sin (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re))) (+ (* (neg y.im) (log (/ -1 x.im))) (* (atan2 x.im x.re) y.re)) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (* (+ (* y.im (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re)) (atan2 x.im x.re)) y.re) (/ (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.re) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (* (atan2 x.im x.re) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* x.re x.re) (* x.im x.im)) (+ (* (log (/ -1 x.im)) y.re) (* (atan2 x.im x.re) y.im)))
144.0ms	x	@	-inf	((log (* (log x) x)) (* (log x) x) (log x) (log (/ x (log x))) (/ x (log x)))

prune7.3s (1.8%)

Memory: -360.6MiB live, 12 284.5MiB allocated
Counts: 110 369 → 2 748
Compiler: Compiled 256 975 to 108 069 computations (57.9% saved)

bsearch5.9s (1.4%)

Memory

-5.1MiB live, 5 451.0MiB allocated

Algorithm

234×	binary-search
222×	left-value

Stop Event

218×	narrow-enough
16×	predicate-same

Samples

1.9s	15 088×	0	valid
1.4s	2 662×	1	valid
114.0ms	205×	2	valid
3.0ms	13×	3	valid

Compiler

Compiled 158 219 to 86 287 computations (45.5% saved)

Precisions

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

ival-mult: 731.0ms (26.2% of total)

ival-add: 522.0ms (18.7% of total)

ival-hypot: 342.0ms (12.3% of total)

ival-log: 239.0ms (8.6% of total)

ival-sin: 211.0ms (7.6% of total)

ival-cos: 136.0ms (4.9% of total)

ival-exp: 124.0ms (4.4% of total)

adjust: 103.0ms (3.7% of total)

ival-sub: 96.0ms (3.4% of total)

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

const: 64.0ms (2.3% of total)

ival-div: 51.0ms (1.8% of total)

ival-sqrt: 23.0ms (0.8% of total)

ival-asin: 22.0ms (0.8% of total)

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

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

exact: 5.0ms (0.2% of total)

ival-pi: 1.0ms (0% of total)

analyze3.9s (1%)

Memory

-6.4MiB live, 3 783.8MiB 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 816 computations (45.5% saved)

start2.0ms (0%)

Memory: 5.4MiB live, 5.3MiB allocated

end0.0ms (0%)

Memory: 0.8MiB live, 0.9MiB allocated

sample1.7min (25.4%)

simplify1.3min (18.8%)

soundness1.0min (15.4%)

rewrite42.7s (10.5%)

localize30.1s (7.4%)

eval24.2s (5.9%)

explain14.4s (3.5%)

regimes13.2s (3.2%)

preprocess13.0s (3.2%)

series9.9s (2.4%)

prune7.3s (1.8%)

bsearch5.9s (1.4%)

analyze3.9s (1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling