Metrics for Herbie run

Date:	Sunday, January 19th, 2025
Commit:	455c599f on main
Seed:	2025019
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:	338 779.9 MB

sample1.5min (31.7%)

Memory

1 289.0MiB live, 109 433.7MiB allocated; 33.2s collecting garbage

Samples

35.8s	224 663×	0	valid
9.9s	64 955×	0	invalid
7.7s	23 527×	1	valid
4.2s	13 353×	1	invalid
3.8s	9 673×	2	valid
2.9s	6 324×	3	valid
1.1s	1 586×	2	invalid
64.0ms	253×	0	exit
2.0ms	5×	4	valid
2.0ms	4×	5	exit

Precisions

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

ival-mult: 12.8s (26% of total)

ival-div: 7.3s (14.7% of total)

ival-sub: 4.5s (9.1% of total)

adjust: 3.4s (7% of total)

ival-pow2: 2.8s (5.7% of total)

ival-pow: 2.7s (5.6% of total)

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

ival-sqrt: 2.2s (4.5% of total)

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

ival-sin: 1.9s (3.9% of total)

ival-neg: 1.0s (2.1% of total)

ival-cos: 998.0ms (2% of total)

ival-tan: 759.0ms (1.5% of total)

ival-acos: 739.0ms (1.5% of total)

const: 556.0ms (1.1% of total)

exact: 462.0ms (0.9% of total)

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

ival-hypot: 352.0ms (0.7% of total)

ival-log: 347.0ms (0.7% of total)

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

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

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

ival-fabs: 158.0ms (0.3% of total)

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

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

ival-<: 45.0ms (0.1% of total)

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

Bogosity

simplify53.4s (19.1%)

Memory

569.3MiB live, 56 229.4MiB allocated; 14.1s collecting garbage

Stop Event

393×	iter limit
282×	node limit
3×	saturated
3×	unsound

Counts

18 268 → 18 268

localize25.8s (9.2%)

Memory

229.4MiB live, 33 306.8MiB allocated; 6.2s collecting garbage

Samples

9.7s	24 128×	0	valid
4.7s	4 178×	1	valid
3.5s	2 156×	2	valid
940.0ms	699×	3	valid
567.0ms	1 234×	0	invalid
271.0ms	85×	5	exit
104.0ms	172×	0	exit
65.0ms	63×	1	invalid
30.0ms	29×	2	invalid
14.0ms	20×	1	exit
4.0ms	4×	4	valid

Compiler

Compiled 47 184 to 5 279 computations (88.8% saved)

Precisions

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

ival-mult: 3.8s (25.4% of total)

ival-div: 2.1s (13.9% of total)

adjust: 1.8s (12% of total)

ival-pow: 1.4s (9% of total)

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

ival-sqrt: 712.0ms (4.7% of total)

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

ival-sin: 589.0ms (3.9% of total)

ival-cos: 500.0ms (3.3% of total)

ival-pow2: 454.0ms (3% of total)

ival-exp: 291.0ms (1.9% of total)

const: 274.0ms (1.8% of total)

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

ival-log: 194.0ms (1.3% of total)

ival-tan: 192.0ms (1.3% of total)

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

exact: 67.0ms (0.4% of total)

ival-hypot: 65.0ms (0.4% of total)

ival-acos: 61.0ms (0.4% of total)

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

ival-atan: 47.0ms (0.3% of total)

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

ival-tanu: 34.0ms (0.2% of total)

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

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

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

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

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

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

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

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

regimes18.1s (6.5%)

Memory

304.8MiB live, 24 447.5MiB allocated; 4.6s collecting garbage

Counts

11 392 → 848

Calls

156 calls:

1.3s	l
586.0ms	t
538.0ms	k
510.0ms	x
436.0ms	th

Compiler

Compiled 13 745 to 13 707 computations (0.3% saved)

rewrite14.3s (5.1%)

Memory

-62.5MiB live, 16 090.0MiB allocated; 3.6s collecting garbage

Stop Event

393×	iter limit
110×	node limit
18×	unsound

Counts

2 443 → 38 129

derivations13.6s (4.8%)

Memory

-134.8MiB live, 12 066.4MiB allocated; 1.7s collecting garbage

Stop Event

32×

fuel

Compiler

Compiled 36 771 to 4 338 computations (88.2% saved)

series12.1s (4.3%)

Memory

65.0MiB live, 16 119.0MiB allocated; 3.3s collecting garbage

Counts

2 443 → 18 268

Calls

1200 calls:

Time	Variable		Point	Expression
356.0ms	f	@	inf	((/ 1 (/ (PI) 4)) (/ 2 (* (* (PI) 1/2) f)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (* (/ -4 (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ -4 (PI)) (PI) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (* (/ (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)))) (neg (* (/ 1 (/ (PI) 4)) (+ (log 2) (- (log (cosh (* (/ (PI) -4) f))) (log (* -2 (sinh (* (/ (PI) -4) f)))))))) (* (/ 1 (/ (PI) 4)) (+ (log 2) (- (log (cosh (* (/ (PI) -4) f))) (log (* -2 (sinh (* (/ (PI) -4) f))))))) (/ (PI) 4) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (log (cosh (* (/ (PI) -4) f))) (+ (log 2) (- (log (cosh (* (/ (PI) -4) f))) (log (* -2 (sinh (* (/ (PI) -4) f)))))))
275.0ms	f	@	-inf	((/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ (PI) 4) (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))))))) (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4))) (/ 1 (/ (sqrt (PI)) 4)) (neg (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4)))) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (* 2 (/ (PI) 4)) (* 2 (* f (/ (PI) 4))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))))) (neg (* (/ 1 (/ (PI) 4)) (log (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f)))))))) (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f))))) (PI) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (sqrt (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)))) (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)) (log (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f)))))) (* (/ 1 (/ (PI) 4)) (log (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f))))))) (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1))
258.0ms	B	@	inf	((+ (* (pow (+ (* x 2) (+ (* F F) 2)) -1/4) (* (pow (+ (* x 2) (+ (* F F) 2)) -1/4) (/ F (sin B)))) (/ (neg x) (tan B))) (pow (+ (* x 2) (+ (* F F) 2)) -1/4) (+ (* x 2) (+ (* F F) 2)) (+ (* F F) 2) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (/ (- (* (sqrt (/ 1 (+ (* 2 x) (+ (* F F) 2)))) F) x) B) (- (* (sqrt (/ 1 (+ (* 2 x) (+ (* F F) 2)))) F) x) (* (sqrt (/ 1 (+ (* 2 x) (+ (* F F) 2)))) F) (/ 1 (+ (* 2 x) 2)) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (/ (- (* (sqrt (/ 1 (+ (* 2 x) (+ (* F F) 2)))) F) x) B) (/ (+ (* (sqrt (/ 1 (+ (* 2 x) 2))) F) (neg x)) B) (+ (neg (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (neg (/ 1 2))))) (* (neg x) (/ (cos B) (sin B))) (neg x) (/ (cos B) (sin B)) (+ (* F (/ (/ 1 (sqrt (+ (* x 2) (+ (* F F) 2)))) (sin B))) (/ (neg x) (tan B))) (/ (/ 1 (sqrt (+ (* x 2) (+ (* F F) 2)))) (sin B)) (/ 1 (sqrt (+ (* x 2) (+ (* F F) 2)))) (sqrt (+ (* x 2) (+ (* F F) 2))) (* (pow (+ (* x 2) (+ (* F F) 2)) -1/4) (/ F (sin B))) (/ (neg x) (tan B)) (+ (* (sqrt (/ 1 (+ (* 2 x) 2))) F) (neg x)) (cos B) (/ (neg x) (tan B)))
211.0ms	f	@	inf	((/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ (PI) 4) (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))))))) (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4))) (/ 1 (/ (sqrt (PI)) 4)) (neg (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4)))) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (* 2 (/ (PI) 4)) (* 2 (* f (/ (PI) 4))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))))) (neg (* (/ 1 (/ (PI) 4)) (log (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f)))))))) (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f))))) (PI) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (sqrt (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)))) (/ (+ (* (pow (exp f) (* 2 (/ (PI) 4))) 1) 1) (- (exp (* 2 (* f (/ (PI) 4)))) 1)) (log (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f)))))) (* (/ 1 (/ (PI) 4)) (log (+ (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1) (/ (pow (exp f) (/ (PI) 4)) (* -2 (sinh (* (/ (PI) -4) f))))))) (pow (- (exp (* 2 (* f (/ (PI) 4)))) 1) -1))
155.0ms	f	@	-inf	((/ 1 (/ (PI) 4)) (/ 2 (* (* (PI) 1/2) f)) (neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (* (/ -4 (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ -4 (PI)) (PI) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ -4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (/ 4 (PI)) f) (* (/ (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)))) (neg (* (/ 1 (/ (PI) 4)) (+ (log 2) (- (log (cosh (* (/ (PI) -4) f))) (log (* -2 (sinh (* (/ (PI) -4) f)))))))) (* (/ 1 (/ (PI) 4)) (+ (log 2) (- (log (cosh (* (/ (PI) -4) f))) (log (* -2 (sinh (* (/ (PI) -4) f))))))) (/ (PI) 4) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (log (cosh (* (/ (PI) -4) f))) (+ (log 2) (- (log (cosh (* (/ (PI) -4) f))) (log (* -2 (sinh (* (/ (PI) -4) f)))))))

preprocess11.3s (4%)

Memory

291.9MiB live, 11 810.2MiB allocated; 4.1s collecting garbage

Stop Event

64×	iter limit
62×	node limit
2×	saturated

Compiler

Compiled 92 851 to 18 829 computations (79.7% saved)

analyze11.2s (4%)

Memory

-105.5MiB live, 14 466.2MiB allocated; 5.2s collecting garbage

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.6%	43%	1.8%	0%	10.6%	0%	9
52.1%	45.5%	41.8%	1.8%	0%	11%	0%	10
53.9%	46.7%	40%	1.8%	0%	11.5%	0%	11
55.6%	47.9%	38.2%	1.8%	0%	12.1%	0%	12

Compiler

Compiled 798 to 574 computations (28.1% saved)

explain10.5s (3.7%)

Memory

-260.1MiB live, 13 818.8MiB allocated; 3.9s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	465	0
`-.f64`	`#f`	cancellation	459	2
`cos.f64`	`#f`	sensitivity	401	1
`+.f64`	`#f`	nan-rescue	273	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	254	0
`*.f64`	`#f`	*no**	241	0
`sqrt.f64`	`#f`	uflow-rescue	165	0
`pow.f64`	`#f`	oflow-rescue	137	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	sensitivity	123	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	118	0
`-.f64`	`#f`	nan-rescue	113	0
`*.f64`	`#f`	*uo**	107	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	101	22
`/.f64`	`#f`	o/o	91	0
`pow.f64`	`#f`	uflow-rescue	70	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	69	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	69
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	69
↳	`(*.f64 K (+.f64 m n))`	overflow	70
`*.f64`	`#f`	*ou**	66	0
`/.f64`	`#f`	u/u	62	0
`+.f64`	`#f`	cancellation	60	0
`/.f64`	`#f`	o/n	58	0
`*.f64`	`#f`	*nu**	57	0
`/.f64`	`#f`	n/o	43	0
`/.f64`	`#f`	n/u	29	0
`/.f64`	`#f`	u/n	14	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	9	0
`tan.f64`	`(tan.f64 (*.f64 (PI.f64) l))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	1999	36
-	1138	5019

Precision

0.6372330251832962

Recall

0.9823095823095823

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1999	1	35
-	1138	24	4995

Precision?

0.6325110689437066

Recall?

0.9828009828009828

Freqs

test

number	freq
0	5055
1	2742
2	350
3	36
4	9

Total Confusion?

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

Precision?

0.9615384615384616

Recall?

1.0

Samples

2.1s	13 282×	0	valid
1.2s	1 990×	1	valid
375.0ms	718×	2	valid
190.0ms	390×	3	valid
6.0ms	2×	5	exit
1.0ms	2×	4	valid

Compiler

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

Precisions

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

ival-div: 511.0ms (18.7% of total)

ival-mult: 502.0ms (18.4% of total)

adjust: 267.0ms (9.8% of total)

ival-sub: 252.0ms (9.2% of total)

ival-exp: 191.0ms (7% of total)

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

ival-sqrt: 126.0ms (4.6% of total)

ival-add: 122.0ms (4.5% of total)

ival-pow2: 98.0ms (3.6% of total)

ival-cos: 80.0ms (2.9% of total)

ival-fabs: 72.0ms (2.6% of total)

ival-pow: 67.0ms (2.5% of total)

ival-log: 47.0ms (1.7% of total)

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

ival-acos: 41.0ms (1.5% of total)

ival-pi: 36.0ms (1.3% of total)

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

ival-hypot: 20.0ms (0.7% of total)

exact: 19.0ms (0.7% of total)

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

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

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

const: 7.0ms (0.3% of total)

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

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

eval10.2s (3.6%)

Memory: -58.4MiB live, 15 108.7MiB allocated; 3.0s collecting garbage
Compiler: Compiled 2 949 708 to 255 711 computations (91.3% saved)

bsearch5.6s (2%)

Memory

-30.5MiB live, 6 972.0MiB allocated; 1.2s collecting garbage

Algorithm

261×	binary-search
201×	left-value

Stop Event

248×	narrow-enough
13×	predicate-same

Samples

2.4s	15 641×	0	valid
564.0ms	3 090×	0	invalid
221.0ms	484×	2	valid
153.0ms	478×	1	valid
90.0ms	165×	3	valid
8.0ms	36×	1	invalid

Compiler

Compiled 163 803 to 115 877 computations (29.3% saved)

Precisions

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

ival-mult: 501.0ms (19.9% of total)

ival-div: 463.0ms (18.4% of total)

ival-sin: 247.0ms (9.8% of total)

ival-pow: 237.0ms (9.4% of total)

ival-add: 206.0ms (8.2% of total)

ival-pow2: 178.0ms (7.1% of total)

ival-sub: 166.0ms (6.6% of total)

ival-tan: 150.0ms (6% of total)

adjust: 124.0ms (4.9% of total)

ival-neg: 53.0ms (2.1% of total)

ival-exp: 51.0ms (2% of total)

ival-log: 30.0ms (1.2% of total)

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

exact: 19.0ms (0.8% of total)

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

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

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

const: 8.0ms (0.3% of total)

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

ival-hypot: 6.0ms (0.2% of total)

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

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

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

prune5.5s (2%)

Memory: 190.9MiB live, 8 905.5MiB allocated; 1.6s collecting garbage
Counts: 58 805 → 2 839
Compiler: Compiled 252 651 to 127 297 computations (49.6% saved)

start2.0ms (0%)

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

end0.0ms (0%)

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

sample1.5min (31.7%)

simplify53.4s (19.1%)

localize25.8s (9.2%)

regimes18.1s (6.5%)

rewrite14.3s (5.1%)

derivations13.6s (4.8%)

series12.1s (4.3%)

preprocess11.3s (4%)

analyze11.2s (4%)

explain10.5s (3.7%)

eval10.2s (3.6%)

bsearch5.6s (2%)

prune5.5s (2%)

start2.0ms (0%)

end0.0ms (0%)

Profiling