Metrics for Herbie run

Date:	Saturday, December 7th, 2024
Commit:	f9f8907d on report-page-tweaks
Hostname:	nightly with Racket 8.10
Seed:	2024342
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:	374 751.5 MB

sample1.5min (26.7%)

Memory

1 100.9MiB live, 105 656.6MiB allocated

Samples

37.3s	225 381×	0	valid
10.6s	66 180×	0	invalid
8.1s	22 936×	1	valid
3.9s	12 445×	1	invalid
3.8s	9 641×	2	valid
3.2s	6 229×	3	valid
345.0ms	1 782×	1	exit
166.0ms	532×	2	invalid
32.0ms	226×	0	exit
2.0ms	5×	4	valid
0.0ms	1×	3	exit

Precisions

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

ival-mult: 14.2s (27% of total)

ival-div: 7.6s (14.5% of total)

ival-add: 4.2s (8% of total)

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

ival-pow2: 3.3s (6.3% of total)

ival-sqrt: 2.5s (4.9% of total)

ival-sin: 2.2s (4.3% of total)

adjust: 2.2s (4.2% of total)

ival-pow: 2.2s (4.2% of total)

ival-exp: 2.2s (4.1% of total)

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

ival-cos: 1.3s (2.5% of total)

ival-tan: 854.0ms (1.6% of total)

ival-neg: 752.0ms (1.4% of total)

ival-hypot: 516.0ms (1% of total)

const: 438.0ms (0.8% of total)

ival-pi: 422.0ms (0.8% of total)

exact: 363.0ms (0.7% of total)

ival-log: 336.0ms (0.6% of total)

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

ival-asin: 238.0ms (0.5% of total)

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

ival-tanu: 182.0ms (0.3% of total)

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

ival-atan: 86.0ms (0.2% of total)

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

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

Bogosity

simplify49.2s (14.9%)

Memory

1 299.3MiB live, 51 040.7MiB allocated

Algorithm

288×	egg-herbie

Stop Event

384×	iter limit
268×	node limit
20×	saturated

Counts

14 773 → 14 713

soundness41.5s (12.5%)

Memory

266.5MiB live, 30 770.6MiB allocated

Stop Event

297×	iter limit
198×	node limit
32×	fuel

Compiler

Compiled 69 693 to 28 994 computations (58.4% saved)

localize31.2s (9.4%)

Memory

-121.5MiB live, 35 179.2MiB allocated

Samples

9.9s	22 862×	0	valid
6.2s	2 187×	2	valid
4.9s	4 638×	1	valid
3.0s	836×	3	valid
1.1s	2 173×	0	invalid
24.0ms	62×	0	exit
17.0ms	10×	5	exit

Compiler

Compiled 51 925 to 5 573 computations (89.3% saved)

Precisions

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

ival-mult: 4.5s (23.2% of total)

ival-sin: 2.8s (14.3% of total)

ival-div: 2.6s (13.5% of total)

ival-sqrt: 1.5s (7.7% of total)

ival-tan: 1.5s (7.6% of total)

ival-add: 1.3s (6.5% of total)

adjust: 1.0s (5.2% of total)

ival-sub: 721.0ms (3.7% of total)

ival-pow: 664.0ms (3.4% of total)

ival-cos: 629.0ms (3.2% of total)

ival-pow2: 561.0ms (2.9% of total)

ival-exp: 240.0ms (1.2% of total)

const: 239.0ms (1.2% of total)

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

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

ival-asin: 145.0ms (0.7% of total)

ival-log: 118.0ms (0.6% of total)

ival-hypot: 97.0ms (0.5% of total)

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

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

ival-cbrt: 76.0ms (0.4% of total)

exact: 73.0ms (0.4% of total)

ival-atan: 33.0ms (0.2% of total)

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

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

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

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

ival-tanu: 25.0ms (0.1% of total)

ival-sinh: 20.0ms (0.1% of total)

ival-atanh: 11.0ms (0.1% of total)

rewrite30.1s (9.1%)

Memory

-468.8MiB live, 32 124.8MiB allocated

Stop Event

259×	iter limit
128×	node limit

Counts

2 504 → 70 997

regimes17.4s (5.2%)

Memory

-101.9MiB live, 24 691.5MiB allocated

Counts

10 900 → 804

Calls

156 calls:

867.0ms	l
766.0ms	t
637.0ms	th
410.0ms	F
401.0ms	k

Compiler

Compiled 12 532 to 12 829 computations (-2.4% saved)

eval17.4s (5.2%)

Memory: 1 016.5MiB live, 25 232.6MiB allocated
Compiler: Compiled 4 566 980 to 410 782 computations (91% saved)

series12.7s (3.8%)

Memory

-49.9MiB live, 15 794.0MiB allocated

Counts

2 504 → 14 773

Calls

1200 calls:

Time	Variable		Point	Expression
356.0ms	x	@	-inf	((- (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64) (* (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2) (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64))) (sqrt (+ (* (* p 4) p) (* x x))) (sqrt (/ (+ (* 1/8 (pow (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 3)) 1/8) (+ (* 1/4 (* x (/ x (+ (* (* p 4) p) (* x x))))) (/ (- (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64) (* (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2) (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64))) (pow (+ (* (/ x (sqrt (+ (* (* 2 p) (* 2 p)) (* x x)))) 1/4) 1/4) 2))))) (/ (+ (* 1/8 (pow (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 3)) 1/8) (+ (* 1/4 (* x (/ x (+ (* (* p 4) p) (* x x))))) (/ (- (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64) (* (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2) (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64))) (pow (+ (* (/ x (sqrt (+ (* (* 2 p) (* 2 p)) (* x x)))) 1/4) 1/4) 2)))) (sqrt (+ (* x (/ 1/2 (sqrt (+ (* (* p 4) p) (* x x))))) 1/2)) (neg (/ p x)) (/ p x) (sqrt (/ (+ (* 1/8 (pow (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 3)) 1/8) (+ (* 1/4 (* x (/ x (+ (* (* p 4) p) (* x x))))) (- 1/4 (* 1/4 (/ x (sqrt (+ (* (* p 4) p) (* x x))))))))) (+ (* -1/2 (/ (* p p) (* x x))) 1) (/ (* p p) (* x x)) (* p p) (sqrt (+ (* (/ x (sqrt (+ (* (* 4 p) p) (* x x)))) 1/2) 1/2)) (+ (* (/ x (sqrt (+ (* (* 4 p) p) (* x x)))) 1/2) 1/2) (/ x (sqrt (+ (* (* 4 p) p) (* x x)))) (sqrt (+ (* (* 4 p) p) (* x x))) (sqrt (* 1/2 (/ (- 1 (pow (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 4)) (* (+ (* x (/ x (+ (* (* p 4) p) (* x x)))) 1) (/ (- 1 (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2)) (+ (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 1)))))) (* 1/2 (/ (- 1 (pow (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 4)) (* (+ (* x (/ x (+ (* (* p 4) p) (* x x)))) 1) (/ (- 1 (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2)) (+ (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 1))))) (/ (- 1 (pow (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 4)) (* (+ (* x (/ x (+ (* (* p 4) p) (* x x)))) 1) (/ (- 1 (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2)) (+ (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 1)))) (/ (- (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64) (* (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2) (+ (* 1/64 (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x))))) 1/64))) (pow (+ (* (/ x (sqrt (+ (* (* 2 p) (* 2 p)) (* x x)))) 1/4) 1/4) 2)) (+ (* (/ x (sqrt (+ (* (* 2 p) (* 2 p)) (* x x)))) 1/4) 1/4) (* x x) (+ (* (* (/ x p) x) 1/4) (* 2 p)) (- 1 (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2)) (- 1 (pow (/ x (sqrt (+ (* (* p 4) p) (* x x)))) 4)) (/ (- 1 (pow (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 2)) (+ (/ x (sqrt (+ (* (* -2 p) (* -2 p)) (* x x)))) 1)))
225.0ms	f	@	-inf	((* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ 1 (/ (PI) 4)) (/ 2 (* 1/2 (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) (/ (/ (pow (PI) 3) (PI)) (PI)) (/ (* (PI) (PI)) (PI)) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI)))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI))) (cosh (* (/ (PI) -4) f)) (- (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4))) (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (log (* (cosh (* (/ (PI) -4) f)) 2)) (* (cosh (* (/ (PI) -4) f)) 2) (* f (/ (PI) 4)) (* (/ (PI) -4) f) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 2 (* 1/2 (PI))) f) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) (pow (PI) 3) (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4)))
163.0ms	f	@	inf	((* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ 1 (/ (PI) 4)) (/ 2 (* 1/2 (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) (/ (/ (pow (PI) 3) (PI)) (PI)) (/ (* (PI) (PI)) (PI)) (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI)))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI))) (cosh (* (/ (PI) -4) f)) (- (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4))) (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (log (* (cosh (* (/ (PI) -4) f)) 2)) (* (cosh (* (/ (PI) -4) f)) 2) (* f (/ (PI) 4)) (* (/ (PI) -4) f) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 2 (* 1/2 (PI))) f) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) (pow (PI) 3) (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4)))
139.0ms	A	@	-inf	((/ (* c0 1) (pow (sqrt (/ A (* l V))) -1)) (* c0 1) (pow (sqrt (/ A (* l V))) -1) (sqrt (/ A (* l V))) (* c0 (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l)) (/ (/ A V) l) (/ A V) (* c0 (/ (sqrt (/ A V)) (sqrt l))) (/ (sqrt (/ A V)) (sqrt l)) (sqrt (/ A V)) (/ (* (/ c0 (sqrt (neg l))) (sqrt A)) (sqrt (neg V))) (* (/ c0 (sqrt (neg l))) (sqrt A)) (/ c0 (sqrt (neg l))) (sqrt (neg l)) (* (pow (/ A (* l V)) 1/8) (* (pow (/ A (* l V)) 3/8) c0)) (pow (/ A (* l V)) 1/8) (/ A (* l V)) (* l V) (sqrt l) (neg V) (neg l) (sqrt A) (sqrt (neg V)) (* (pow (/ A (* l V)) 3/8) c0))
120.0ms	K	@	0	((- (exp l) (exp (neg l))) (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2))) U) (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2))) (* J (- (exp l) (exp (neg l)))) (cos (/ K 2)) (exp l))

analyze11.0s (3.3%)

Memory

-118.9MiB live, 13 509.0MiB allocated

Algorithm

32×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	98.2%	1.8%	0%	0%	0%	0
22.2%	21.8%	76.4%	1.8%	0%	0%	0%	1
22.6%	21.8%	74.8%	1.8%	0%	1.6%	0%	2
28.6%	26.5%	66.3%	1.8%	0%	5.5%	0%	3
32.6%	29.6%	61.2%	1.8%	0%	7.4%	0%	4
35.8%	32.3%	58%	1.8%	0%	8%	0%	5
40.1%	36.1%	54%	1.8%	0%	8.1%	0%	6
45.5%	40.6%	48.7%	1.8%	0%	8.9%	0%	7
47.9%	42.1%	45.8%	1.8%	0%	10.3%	0%	8
51%	44.7%	42.9%	1.8%	0%	10.6%	0%	9
52.2%	45.5%	41.7%	1.8%	0%	11%	0%	10
53.9%	46.8%	39.9%	1.8%	0%	11.5%	0%	11
55.7%	47.9%	38.2%	1.8%	0%	12.2%	0%	12

Compiler

Compiled 798 to 574 computations (28.1% saved)

preprocess10.1s (3%)

Memory

138.6MiB live, 11 181.3MiB allocated

Algorithm

32×	egg-herbie

Stop Event

64×	iter limit
52×	node limit
12×	saturated

Compiler

Compiled 83 007 to 18 361 computations (77.9% saved)

explain9.0s (2.7%)

Memory

-200.5MiB live, 12 607.4MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	458	1
`sqrt.f64`	`#f`	oflow-rescue	449	0
`cos.f64`	`#f`	sensitivity	389	0
`acos.f64`	`(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (.f64 #s(literal 5 binary64) (.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))`	sensitivity	256	0
`*.f64`	`#f`	*no**	251	0
`+.f64`	`#f`	nan-rescue	243	0
`sqrt.f64`	`#f`	uflow-rescue	169	0
`pow.f64`	`#f`	oflow-rescue	141	0
`asin.f64`	`(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))`	sensitivity	135	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	132	0
`-.f64`	`#f`	nan-rescue	121	0
`*.f64`	`#f`	*uo**	111	0
`pow.f64`	`(pow.f64 (.f64 (.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))`	sensitivity	91	18
`/.f64`	`#f`	o/o	81	0
`*.f64`	`#f`	*nu**	74	0
`/.f64`	`#f`	o/n	58	0
`pow.f64`	`#f`	uflow-rescue	56	0
`*.f64`	`#f`	*ou**	56	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	55	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	55
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	55
↳	`(*.f64 K (+.f64 m n))`	overflow	55
`+.f64`	`#f`	cancellation	55	0
`/.f64`	`#f`	u/u	41	0
`/.f64`	`#f`	n/o	34	0
`/.f64`	`#f`	n/u	22	0
`/.f64`	`#f`	u/n	20	0
`log.f64`	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`	sensitivity	3	0
`exp.f64`	`(exp.f64 (neg.f64 l))`	sensitivity	1	0

Confusion

	Predicted +	Predicted -
+	1934	24
-	1168	5066

Precision

0.6234687298517085

Recall

0.9877425944841676

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1934	1	23
-	1168	19	5047

Precision?

0.6197950032030749

Recall?

0.9882533197139939

Freqs

test

number	freq
0	5090
1	2756
2	300
3	39
4	6
5	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	25	0	0
-	0	1	6

Precision?

0.9615384615384616

Recall?

1.0

Samples

2.1s	13 342×	0	valid
624.0ms	1 936×	1	valid
292.0ms	726×	2	valid
131.0ms	374×	3	valid
3.0ms	6×	5	exit

Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions

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

ival-mult: 484.0ms (23.1% of total)

ival-div: 265.0ms (12.7% of total)

ival-add: 152.0ms (7.3% of total)

adjust: 150.0ms (7.2% of total)

ival-sub: 148.0ms (7.1% of total)

ival-pow2: 131.0ms (6.3% of total)

ival-sin: 116.0ms (5.5% of total)

ival-exp: 110.0ms (5.3% of total)

ival-sqrt: 104.0ms (5% of total)

ival-cos: 76.0ms (3.6% of total)

ival-pow: 71.0ms (3.4% of total)

ival-tan: 53.0ms (2.5% of total)

ival-log: 40.0ms (1.9% of total)

ival-neg: 30.0ms (1.4% of total)

ival-acos: 28.0ms (1.3% of total)

ival-hypot: 27.0ms (1.3% of total)

exact: 20.0ms (1% of total)

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

ival-tanu: 14.0ms (0.7% of total)

ival-atan: 14.0ms (0.7% of total)

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

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

const: 8.0ms (0.4% of total)

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

ival-fabs: 5.0ms (0.2% of total)

prune7.6s (2.3%)

Memory: -307.2MiB live, 11 265.9MiB allocated
Counts: 90 484 → 3 056
Compiler: Compiled 281 932 to 141 409 computations (49.8% saved)

bsearch5.6s (1.7%)

Memory

15.5MiB live, 5 693.8MiB allocated

Algorithm

224×	binary-search
211×	left-value

Stop Event

210×	narrow-enough
14×	predicate-same

Samples

3.1s	14 978×	0	valid
658.0ms	3 537×	0	invalid
104.0ms	263×	1	valid
24.0ms	67×	2	valid
8.0ms	43×	1	invalid
1.0ms	5×	2	invalid
1.0ms	4×	3	valid

Compiler

Compiled 136 982 to 94 527 computations (31% saved)

Precisions

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

ival-mult: 624.0ms (21.3% of total)

ival-add: 561.0ms (19.2% of total)

ival-div: 459.0ms (15.7% of total)

ival-pow: 296.0ms (10.1% of total)

ival-pow2: 197.0ms (6.7% of total)

ival-sub: 195.0ms (6.7% of total)

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

ival-tan: 147.0ms (5% of total)

ival-neg: 66.0ms (2.3% of total)

ival-exp: 63.0ms (2.2% of total)

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

exact: 19.0ms (0.6% of total)

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

ival-tanu: 15.0ms (0.5% of total)

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

adjust: 14.0ms (0.5% of total)

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

const: 7.0ms (0.2% of total)

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

ival-hypot: 4.0ms (0.1% of total)

ival-atan: 3.0ms (0.1% of total)

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

start1.0ms (0%)

Memory: 3.8MiB live, 3.8MiB allocated

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

sample1.5min (26.7%)

simplify49.2s (14.9%)

soundness41.5s (12.5%)

localize31.2s (9.4%)

rewrite30.1s (9.1%)

regimes17.4s (5.2%)

eval17.4s (5.2%)

series12.7s (3.8%)

analyze11.0s (3.3%)

preprocess10.1s (3%)

explain9.0s (2.7%)

prune7.6s (2.3%)

bsearch5.6s (1.7%)

start1.0ms (0%)

end0.0ms (0%)

Profiling