Metrics for Herbie run

Date:	Sunday, January 19th, 2025
Commit:	7183cd93 on autofix-12-1
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:	336 199.3 MB

sample1.5min (32%)

Memory

1 050.6MiB live, 108 631.1MiB allocated; 34.9s collecting garbage

Samples

36.0s	224 663×	0	valid
9.6s	64 955×	0	invalid
7.8s	23 527×	1	valid
4.6s	13 353×	1	invalid
4.2s	9 673×	2	valid
3.0s	6 324×	3	valid
716.0ms	1 586×	2	invalid
39.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.7s

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

ival-div: 7.8s (15.7% of total)

adjust: 3.4s (6.8% of total)

ival-pow2: 3.2s (6.5% of total)

ival-add: 3.2s (6.4% of total)

ival-sub: 3.2s (6.4% of total)

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

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

ival-pow: 2.1s (4.3% of total)

ival-sin: 1.8s (3.7% of total)

ival-cos: 841.0ms (1.7% of total)

ival-tan: 829.0ms (1.7% of total)

ival-neg: 813.0ms (1.6% of total)

ival-acos: 802.0ms (1.6% of total)

ival-pi: 609.0ms (1.2% of total)

const: 521.0ms (1% of total)

ival-hypot: 394.0ms (0.8% of total)

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

exact: 337.0ms (0.7% of total)

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

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

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

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

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

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

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

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

Bogosity

simplify50.4s (18.2%)

Memory

918.8MiB live, 55 208.8MiB allocated; 10.6s collecting garbage

Stop Event

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

Counts

18 268 → 18 268

localize28.1s (10.2%)

Memory

-515.4MiB live, 34 797.1MiB allocated; 9.2s collecting garbage

Samples

10.2s	24 128×	0	valid
5.6s	4 178×	1	valid
3.6s	2 156×	2	valid
999.0ms	699×	3	valid
427.0ms	1 234×	0	invalid
415.0ms	85×	5	exit
122.0ms	63×	1	invalid
73.0ms	172×	0	exit
39.0ms	29×	2	invalid
15.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: 16.0s

ival-mult: 4.8s (30.1% of total)

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

adjust: 1.9s (11.9% of total)

ival-pow: 1.3s (8.4% of total)

ival-add: 1.2s (7.5% of total)

ival-sin: 691.0ms (4.3% of total)

ival-sqrt: 654.0ms (4.1% of total)

ival-sub: 643.0ms (4% of total)

ival-cos: 561.0ms (3.5% of total)

ival-pow2: 455.0ms (2.8% of total)

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

const: 264.0ms (1.6% of total)

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

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

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

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

exact: 104.0ms (0.6% of total)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

regimes18.5s (6.7%)

Memory

130.0MiB live, 24 721.3MiB allocated; 4.8s collecting garbage

Counts

11 392 → 848

Calls

156 calls:

1.0s	l
1.0s	n
683.0ms	t
657.0ms	k
460.0ms	F

Compiler

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

derivations14.2s (5.1%)

Memory

311.2MiB live, 11 804.3MiB allocated; 2.1s collecting garbage

Stop Event

32×

fuel

Compiler

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

rewrite13.5s (4.9%)

Memory

94.9MiB live, 15 174.7MiB allocated; 2.3s collecting garbage

Stop Event

393×	iter limit
110×	node limit
18×	unsound

Counts

2 443 → 38 129

series11.9s (4.3%)

Memory

213.9MiB live, 16 340.2MiB allocated; 2.9s collecting garbage

Counts

2 443 → 18 268

Calls

1200 calls:

Time	Variable		Point	Expression
297.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)))))))
290.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))
281.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))
172.0ms	f	@	-inf	((/ 2 (* (* (PI) 1/2) f)) (neg (* (/ 4 (PI)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 4 (PI)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ 4 (PI)) (* (/ -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) (* (/ 2 (PI)) 2) (/ 1 (/ (sqrt (PI)) 4)) (neg (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (/ 1 (/ (sqrt (PI)) 4)))) (+ (* (log f) -1) (log (* (/ 2 (PI)) 2))) (* (sqrt (sqrt (PI))) (sqrt (sqrt (PI)))) (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (* (sqrt (sqrt (PI))) (sqrt (sqrt (PI))))) (/ 1 (/ (sqrt (PI)) 4))) (neg (* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (* (sqrt (sqrt (PI))) (sqrt (sqrt (PI))))) (/ 1 (/ (sqrt (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 (* (/ 2 (PI)) 2)) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (sqrt (PI))) (sqrt (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (* (sqrt (sqrt (PI))) (sqrt (sqrt (PI))))))
132.0ms	ky	@	0	((* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (/ 1 2) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (pow (sin ky) 2))

analyze11.5s (4.2%)

Memory

-9.0MiB live, 14 110.8MiB allocated; 5.4s 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)

eval10.0s (3.6%)

Memory: -112.6MiB live, 14 588.3MiB allocated; 2.5s collecting garbage
Compiler: Compiled 2 949 708 to 255 711 computations (91.3% saved)

preprocess9.9s (3.6%)

Memory

377.8MiB live, 11 795.2MiB allocated; 2.0s collecting garbage

Stop Event

64×	iter limit
62×	node limit
2×	saturated

Compiler

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

explain9.3s (3.4%)

Memory

-146.2MiB live, 13 287.3MiB allocated; 2.1s 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.5s	13 282×	0	valid
760.0ms	1 990×	1	valid
337.0ms	718×	2	valid
204.0ms	390×	3	valid
1.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-mult: 570.0ms (21.5% of total)

ival-div: 409.0ms (15.4% of total)

ival-sub: 342.0ms (12.9% of total)

adjust: 204.0ms (7.7% of total)

ival-sqrt: 168.0ms (6.3% of total)

ival-pow2: 151.0ms (5.7% of total)

ival-add: 141.0ms (5.3% of total)

ival-sin: 138.0ms (5.2% of total)

ival-exp: 106.0ms (4% of total)

ival-pow: 82.0ms (3.1% of total)

ival-cos: 81.0ms (3.1% of total)

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

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

ival-acos: 32.0ms (1.2% of total)

ival-hypot: 25.0ms (0.9% of total)

const: 23.0ms (0.9% of total)

exact: 19.0ms (0.7% of total)

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

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

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

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

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

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

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

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

bsearch5.7s (2.1%)

Memory

-63.7MiB live, 6 875.9MiB allocated; 1.7s collecting garbage

Algorithm

261×	binary-search
201×	left-value

Stop Event

248×	narrow-enough
13×	predicate-same

Samples

2.6s	15 641×	0	valid
470.0ms	3 090×	0	invalid
339.0ms	36×	1	invalid
217.0ms	484×	2	valid
141.0ms	478×	1	valid
94.0ms	165×	3	valid

Compiler

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

Precisions

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

ival-mult: 966.0ms (31.9% of total)

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

ival-tan: 255.0ms (8.4% of total)

ival-pow: 250.0ms (8.3% of total)

ival-add: 203.0ms (6.7% of total)

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

ival-pow2: 160.0ms (5.3% of total)

ival-sub: 158.0ms (5.2% of total)

adjust: 108.0ms (3.6% of total)

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

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

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

ival-sqrt: 27.0ms (0.9% of total)

ival-hypot: 24.0ms (0.8% of total)

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

exact: 19.0ms (0.6% of total)

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

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

const: 8.0ms (0.3% of total)

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

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

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

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

prune4.8s (1.7%)

Memory: 316.9MiB live, 8 858.7MiB allocated; 1.1s 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.0MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample1.5min (32%)

simplify50.4s (18.2%)

localize28.1s (10.2%)

regimes18.5s (6.7%)

derivations14.2s (5.1%)

rewrite13.5s (4.9%)

series11.9s (4.3%)

analyze11.5s (4.2%)

eval10.0s (3.6%)

preprocess9.9s (3.6%)

explain9.3s (3.4%)

bsearch5.7s (2.1%)

prune4.8s (1.7%)

start2.0ms (0%)

end0.0ms (0%)

Profiling