Metrics for Herbie run

Date:	Sunday, December 15th, 2024
Commit:	ada55b03 on main
Hostname:	nightly with Racket 8.10
Seed:	2024350
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:	700 256.6 MB

sample3.8min (34.8%)

Memory

2 261.7MiB live, 228 468.3MiB allocated; 55.9s collecting garbage

Samples

58.8s	119 585×	1	valid
53.6s	17 874×	5	exit
39.8s	281 734×	0	valid
17.7s	24 891×	2	valid
7.7s	3 074×	3	valid
5.9s	34 934×	0	exit
3.3s	19 709×	0	invalid
2.9s	12 229×	1	invalid
783.0ms	903×	2	invalid
155.0ms	28×	4	valid
31.0ms	37×	1	exit
1.0ms	1×	3	exit

Precisions

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

ival-pow: 42.9s (25.7% of total)

adjust: 17.7s (10.6% of total)

ival-mult: 17.6s (10.6% of total)

ival-cos: 11.3s (6.8% of total)

ival-div: 10.3s (6.2% of total)

ival-sin: 9.0s (5.4% of total)

ival-pow2: 9.0s (5.4% of total)

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

ival-sub: 6.1s (3.6% of total)

ival-exp: 5.8s (3.5% of total)

ival-sinu: 5.5s (3.3% of total)

ival-cosu: 4.6s (2.7% of total)

ival-log: 4.4s (2.6% of total)

ival-sqrt: 4.1s (2.4% of total)

ival-neg: 2.7s (1.6% of total)

const: 1.8s (1.1% of total)

ival-<: 1.5s (0.9% of total)

ival-hypot: 940.0ms (0.6% of total)

ival-log1p: 890.0ms (0.5% of total)

ival-atan2: 696.0ms (0.4% of total)

ival-tan: 556.0ms (0.3% of total)

ival-acos: 387.0ms (0.2% of total)

exact: 370.0ms (0.2% of total)

ival-and: 340.0ms (0.2% of total)

ival-cbrt: 322.0ms (0.2% of total)

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

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

ival-<=: 261.0ms (0.2% of total)

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

ival-pi: 200.0ms (0.1% of total)

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

ival-asin: 155.0ms (0.1% of total)

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

ival-or: 0.0ms (0% of total)

Bogosity

localize1.3min (12.2%)

Memory

297.2MiB live, 84 818.4MiB allocated; 19.7s collecting garbage

Samples

28.2s	16 893×	1	valid
17.7s	856×	5	exit
8.6s	3 746×	2	valid
8.4s	26 503×	0	valid
1.7s	2 718×	0	invalid
926.0ms	264×	1	invalid
809.0ms	336×	3	valid
47.0ms	2×	4	exit
36.0ms	3×	2	exit
29.0ms	127×	0	exit
11.0ms	8×	4	valid

Compiler

Compiled 113 067 to 9 137 computations (91.9% saved)

Precisions

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

ival-sin: 15.5s (27.7% of total)

ival-mult: 9.3s (16.6% of total)

ival-cos: 6.7s (11.9% of total)

adjust: 5.7s (10.1% of total)

ival-div: 4.2s (7.4% of total)

ival-add: 2.7s (4.8% of total)

ival-pow2: 1.8s (3.1% of total)

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

const: 1.1s (1.9% of total)

ival-pow: 971.0ms (1.7% of total)

ival-sqrt: 922.0ms (1.6% of total)

ival-exp: 836.0ms (1.5% of total)

ival-sinu: 810.0ms (1.4% of total)

ival-cosu: 724.0ms (1.3% of total)

ival-log: 589.0ms (1.1% of total)

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

ival-atan2: 390.0ms (0.7% of total)

ival-tan: 384.0ms (0.7% of total)

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

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

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

ival-cosh: 176.0ms (0.3% of total)

ival-cbrt: 175.0ms (0.3% of total)

ival-acos: 150.0ms (0.3% of total)

ival-sinh: 144.0ms (0.3% of total)

exact: 93.0ms (0.2% of total)

ival-pi: 84.0ms (0.1% of total)

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

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

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

ival-asinh: 39.0ms (0.1% of total)

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

ival-asin: 15.0ms (0% of total)

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

ival-acosh: 4.0ms (0% of total)

ival-exp2: 3.0ms (0% of total)

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

ival-then: 0.0ms (0% of total)

simplify1.3min (11.5%)

Memory

769.4MiB live, 75 937.0MiB allocated; 16.0s collecting garbage

Algorithm

454×	egg-herbie

Stop Event

603×	iter limit
395×	node limit
59×	saturated

Counts

23 988 → 23 831

derivations49.6s (7.6%)

Memory

4.6MiB live, 37 760.7MiB allocated; 7.2s collecting garbage

Stop Event

411×	iter limit
266×	node limit
45×	fuel
7×	done
5×	saturated
3×	unsound

Compiler

Compiled 44 134 to 5 947 computations (86.5% saved)

rewrite41.9s (6.4%)

Memory

244.2MiB live, 45 234.2MiB allocated; 8.2s collecting garbage

Stop Event

420×	iter limit
191×	node limit
6×	unsound
4×	saturated

Counts

3 642 → 98 279

regimes37.5s (5.7%)

Memory

-105.5MiB live, 45 178.4MiB allocated; 9.6s collecting garbage

Counts

19 181 → 899

Calls

155 calls:

3.1s	phi2
2.2s	phi1
2.0s	lambda1
1.9s	lambda2
1.8s	a

Compiler

Compiled 19 281 to 15 918 computations (17.4% saved)

eval28.4s (4.3%)

Memory: 257.3MiB live, 38 016.9MiB allocated; 7.5s collecting garbage
Compiler: Compiled 9 469 784 to 619 244 computations (93.5% saved)

series25.3s (3.9%)

Memory

149.1MiB live, 29 698.9MiB allocated; 6.8s collecting garbage

Counts

3 642 → 23 988

Calls

1635 calls:

Time	Variable		Point	Expression
672.0ms	c	@	inf	((+ (* (* -1/4 a) (* (/ (pow c 4) (pow b 6)) (/ 20 b))) (/ (* (pow c 3) -2) (pow b 5))) (* (/ (pow c 4) (pow b 6)) (/ 20 b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (+ (* (+ (* (+ (* (* -1/4 a) (* (/ (pow c 4) (pow b 6)) (/ 20 b))) (/ (* (pow c 3) -2) (pow b 5))) a) (/ (* (neg c) c) (pow b 3))) a) (/ (neg c) b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (neg c) b) (neg c) (/ (+ (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (* 2 a)) (+ (neg b) (sqrt (+ (* (* c a) -4) (* b b)))) (neg b) (sqrt (+ (* (* c a) -4) (* b b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (- (* (neg c) (/ a (pow b 3))) (/ 1 b)) c) (- (* (neg c) (/ a (pow b 3))) (/ 1 b)) (* (neg c) (/ a (pow b 3))) (- (/ (pow b 4) (+ (* c (* a 4)) (* b b))) (/ (pow (* c (* a 4)) 2) (+ (* c (* a 4)) (* b b)))) (/ (+ (neg b) (sqrt (- (/ (pow b 4) (+ (* c (* a 4)) (* b b))) (/ (pow (* c (* a 4)) 2) (+ (* c (* a 4)) (* b b)))))) (* 2 a)) (+ (neg b) (sqrt (- (/ (pow b 4) (+ (* c (* a 4)) (* b b))) (/ (pow (* c (* a 4)) 2) (+ (* c (* a 4)) (* b b)))))) (/ (pow c 4) (pow b 6)) (/ (* (pow c 3) -2) (pow b 5)) (/ (* (neg c) c) (pow b 3)) (+ (* (* c a) -4) (* b b)) (/ a (pow b 3)) (pow (* c (* a 4)) 2) (/ (pow b 4) (+ (* c (* a 4)) (* b b))) (/ (pow (* c (* a 4)) 2) (+ (* c (* a 4)) (* b b))))
275.0ms	t	@	-inf	((fabs (- (* (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) ew) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) ew) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) ew) (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (cos (atan (* (/ (neg (sin t)) ew) (/ eh (cos t))))) ew) (cos (atan (* (/ (neg (sin t)) ew) (/ eh (cos t))))) (fabs (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (sin t) (exp (* (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) 1/2)) (* (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) 1/2) (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2) (* (pow (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2) 1/4) (pow (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2) 1/4)) (pow (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2) 1/4) (cos (atan (* (/ (tan t) ew) eh))) (/ (* (neg eh) (tan t)) ew) (* (/ (tan t) ew) eh) (* (neg eh) (tan t)) (* (/ (neg (sin t)) ew) (/ eh (cos t))) (/ (neg (sin t)) ew) (* (/ (tan t) ew) (* eh eh)) (asinh (* (/ (tan t) ew) eh)))
252.0ms	t	@	-inf	((fabs (- (* (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) ew) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) ew) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* eh (+ (* ew (/ (* (cos t) (cos (atan (* eh (/ (tan t) ew))))) eh)) (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t)))) (+ (* ew (/ (* (cos t) (cos (atan (* eh (/ (tan t) ew))))) eh)) (* (tanh (asinh (* eh (/ (tan t) ew)))) (sin t))) (fabs (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) (+ (* (* t t) (- (+ (* -1/2 ew) (/ (* eh eh) ew)) (* 1/2 (/ (* eh eh) ew)))) ew) (* t t) (exp (* (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) 1/2)) (* (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) 1/2) (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2) (exp (* (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) 1/2)) (* (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) 1/2) (log (pow (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))) 2)) (+ (* (log (/ -1 ew)) -2) (log (pow (cos t) 2))) (pow (pow (/ (+ (* (* (* eh (/ (tan t) ew)) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* eh (/ (tan t) ew))))) 1/4) 4) (pow (/ (+ (* (* (* eh (/ (tan t) ew)) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* eh (/ (tan t) ew))))) 1/4) (/ (+ (* (* (* eh (/ (tan t) ew)) eh) (sin t)) (* (cos t) ew)) (cosh (asinh (* eh (/ (tan t) ew))))) (+ (* (* (* eh (/ (tan t) ew)) eh) (sin t)) (* (cos t) ew)) (cos (atan (* eh (/ (tan t) ew)))) (asinh (* eh (/ (tan t) ew))) (* eh (/ (tan t) ew)) (- (+ (* -1/2 ew) (/ (* eh eh) ew)) (* 1/2 (/ (* eh eh) ew))) (- (* 2 (* ew (+ (* -1/2 ew) (/ (* eh eh) ew)))) (* eh eh)) (+ (* (* t t) (- (* 2 (* ew (+ (* -1/2 ew) (/ (* eh eh) ew)))) (* eh eh))) (* ew ew)) (log (pow (cos t) 2)) (pow (cos t) 2) (cosh (asinh (* eh (/ (tan t) ew)))))
203.0ms	t	@	-inf	((- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n))) (exp (- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n)))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n)) (neg (log (+ 1 (exp (neg s))))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (/ 1 (+ (exp (neg s)) 1)) (/ 1 (+ (exp (neg t)) 1)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (/ 1 (+ 1 (exp (neg s)))) (/ 1 (+ 1 (exp (neg t)))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (+ (* (* (* (pow 1/2 c_p) c_p) 1/2) t) (pow 1/2 c_p)) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) (log (+ 1 (exp (neg t)))) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (+ (exp (neg s)) 1) (- 1 (/ 1 (+ (exp (neg s)) 1))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))) (* (pow 1/2 c_p) c_p))
132.0ms	delta	@	0	((+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))) (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) (* (sin theta) (sin delta)))

prune24.1s (3.7%)

Memory: -124.7MiB live, 37 877.8MiB allocated; 4.8s collecting garbage
Counts: 129 225 → 6 801
Compiler: Compiled 1 054 419 to 404 544 computations (61.6% saved)

explain21.6s (3.3%)

Memory

-90.3MiB live, 26 464.3MiB allocated; 4.1s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1901	2
`+.f64`	`#f`	cancellation	1734	34
`sin.f64`	`#f`	sensitivity	1629	4
`sqrt.f64`	`#f`	oflow-rescue	1403	0
`-.f64`	`#f`	cancellation	910	13
`-.f64`	`#f`	nan-rescue	652	0
`log.f64`	`#f`	sensitivity	590	2
`/.f64`	`#f`	o/n	523	0
`/.f64`	`#f`	o/o	375	0
`/.f64`	`#f`	u/u	322	0
`*.f64`	`#f`	*no**	235	0
`sqrt.f64`	`#f`	uflow-rescue	166	0
`exp.f64`	`#f`	sensitivity	159	30
`/.f64`	`#f`	u/n	149	0
`/.f64`	`#f`	n/o	114	0
`cbrt.f64`	`#f`	oflow-rescue	92	0
`*.f64`	`#f`	*nu**	83	0
`cbrt.f64`	`#f`	uflow-rescue	37	0
`*.f64`	`#f`	*ou**	36	0
`/.f64`	`#f`	n/u	35	0
`*.f64`	`#f`	*uo**	33	0
`acos.f64`	`(acos.f64 (+.f64 (.f64 (sin.f64 phi1) (sin.f64 phi2)) (.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))`	sensitivity	23	2
`log.f64`	`#f`	oflow-rescue	10	0
`pow.f64`	`#f`	sensitivity	6	0
`pow.f64`	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p)`	uflow-rescue	1	0
↳	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p)`	underflow	6
↳	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))`	underflow	1
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	1	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	1
↳	`(exp.f64 a)`	underflow	74
↳	`(exp.f64 b)`	underflow	54

Confusion

	Predicted +	Predicted -
+	5768	63
-	1343	6138

Precision

0.8111376740261567

Recall

0.9891956782713085

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5768	41	22
-	1343	39	6099

Precision?

0.8078153247114449

Recall?

0.9962270622534728

Freqs

test

number	freq
0	6201
1	4702
2	1571
3	378
4	229
5	120
6	70
7	26
8	12
9	3

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	0
-	2	0	8

Precision?

0.9545454545454546

Recall?

1.0

Samples

4.7s	7 754×	1	valid
2.3s	16 524×	0	valid
2.1s	2 046×	2	valid
528.0ms	296×	3	valid
9.0ms	4×	4	valid

Compiler

Compiled 19 935 to 2 551 computations (87.2% saved)

Precisions

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

ival-sin: 1.4s (19.8% of total)

ival-mult: 1.1s (14.4% of total)

ival-cos: 822.0ms (11.3% of total)

adjust: 706.0ms (9.7% of total)

ival-div: 491.0ms (6.7% of total)

ival-pow2: 484.0ms (6.6% of total)

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

ival-cosu: 326.0ms (4.5% of total)

ival-sub: 284.0ms (3.9% of total)

ival-sinu: 279.0ms (3.8% of total)

ival-log: 213.0ms (2.9% of total)

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

ival-sqrt: 175.0ms (2.4% of total)

ival-neg: 133.0ms (1.8% of total)

ival-atan2: 61.0ms (0.8% of total)

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

ival-tan: 48.0ms (0.7% of total)

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

ival-cbrt: 25.0ms (0.3% of total)

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

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

ival-acos: 19.0ms (0.3% of total)

exact: 19.0ms (0.3% of total)

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

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

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

ival-asin: 7.0ms (0.1% of total)

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

analyze18.0s (2.8%)

Memory

220.5MiB live, 19 932.0MiB allocated; 5.0s collecting garbage

Algorithm

53×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	79.4%	20.6%	0%	0%	0%	0
17.2%	13.7%	65.7%	20.6%	0%	0%	0%	1
25%	19.6%	58.5%	20.6%	0%	1.3%	0%	2
35.2%	26.6%	48.9%	20.6%	0%	3.8%	0%	3
42.3%	31.7%	43.1%	20.6%	0%	4.5%	0%	4
47.9%	35.6%	38.7%	20.6%	0%	5.1%	0%	5
51%	37.6%	36.1%	20.6%	0%	5.7%	0%	6
54.4%	39.7%	33.2%	20.6%	0%	6.5%	0%	7
56.2%	40.7%	31.8%	20.6%	0%	6.8%	0%	8
59%	42.5%	29.5%	20.6%	0%	7.4%	0%	9
60.3%	43.2%	28.4%	20.6%	0%	7.7%	0%	10
62.1%	44.3%	27%	20.6%	0%	8.1%	0%	11
63.6%	45.1%	25.8%	20.6%	0%	8.5%	0%	12

Compiler

Compiled 1 826 to 963 computations (47.3% saved)

preprocess12.8s (1.9%)

Memory

594.4MiB live, 14 798.7MiB allocated; 2.4s collecting garbage

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
64×	node limit
40×	saturated

Compiler

Compiled 132 159 to 24 123 computations (81.7% saved)

bsearch12.4s (1.9%)

Memory

179.8MiB live, 16 063.6MiB allocated; 2.5s collecting garbage

Algorithm

322×	binary-search
85×	left-value

Stop Event

317×	narrow-enough
5×	predicate-same

Samples

5.7s	6 456×	1	valid
2.9s	16 119×	0	valid
753.0ms	990×	2	valid
188.0ms	83×	3	valid
166.0ms	949×	0	invalid
51.0ms	187×	1	invalid
15.0ms	37×	2	invalid

Compiler

Compiled 253 540 to 148 300 computations (41.5% saved)

Precisions

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

ival-sin: 1.7s (19.9% of total)

ival-cos: 1.6s (19.6% of total)

ival-mult: 1.1s (13.2% of total)

adjust: 873.0ms (10.4% of total)

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

ival-div: 462.0ms (5.5% of total)

ival-sinu: 385.0ms (4.6% of total)

ival-cosu: 353.0ms (4.2% of total)

ival-sub: 324.0ms (3.9% of total)

ival-add: 303.0ms (3.6% of total)

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

ival-atan2: 108.0ms (1.3% of total)

ival-tan: 96.0ms (1.1% of total)

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

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

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

ival-exp: 33.0ms (0.4% of total)

ival-hypot: 28.0ms (0.3% of total)

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

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

exact: 12.0ms (0.1% of total)

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

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

ival-pi: 8.0ms (0.1% of total)

ival-log: 8.0ms (0.1% of total)

ival-log1p: 2.0ms (0% of total)

start3.0ms (0%)

Memory: 6.7MiB live, 6.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.7MiB live, 0.6MiB allocated; 0ms collecting garbage

sample3.8min (34.8%)

localize1.3min (12.2%)

simplify1.3min (11.5%)

derivations49.6s (7.6%)

rewrite41.9s (6.4%)

regimes37.5s (5.7%)

eval28.4s (4.3%)

series25.3s (3.9%)

prune24.1s (3.7%)

explain21.6s (3.3%)

analyze18.0s (2.8%)

preprocess12.8s (1.9%)

bsearch12.4s (1.9%)

start3.0ms (0%)

end0.0ms (0%)

Profiling