Metrics for Herbie run

Date:	Thursday, April 3rd, 2025
Commit:	753370c2 on random-cleanup
Seed:	2025093
Parameters:	256 points for 4 iterations
Flags:	`reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs` default
Memory:	195 084.5 MB

sample1.1min (43.9%)

Memory

1 163.4MiB live, 83 223.1MiB allocated; 22.9s collecting garbage

Samples

26.8s	224 420×	0	valid
7.0s	65 526×	0	invalid
6.3s	23 614×	1	valid
3.3s	12 590×	1	invalid
3.0s	9 717×	2	valid
2.5s	6 429×	3	valid
394.0ms	1 930×	5	exit
131.0ms	558×	2	invalid
23.0ms	249×	0	exit
6.0ms	12×	4	valid
0.0ms	1×	3	exit

Precisions

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

ival-mult!: 8.8s (24.3% of total)

ival-div!: 4.7s (12.9% of total)

ival-exp: 3.1s (8.7% of total)

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

adjust: 2.4s (6.7% of total)

ival-pow: 2.4s (6.5% of total)

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

ival-sin: 2.0s (5.6% of total)

ival-sub!: 1.4s (3.9% of total)

ival-tan: 1.3s (3.7% of total)

ival-add!: 1.3s (3.5% of total)

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

ival-acos: 892.0ms (2.5% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

rewrite26.5s (17.7%)

Memory

123.9MiB live, 29 761.5MiB allocated; 7.9s collecting garbage

Stop Event

294×	iter-limit
122×	node-limit
5×	unsound

Counts

28 346 → 45 399

regimes12.3s (8.2%)

Memory

185.9MiB live, 18 347.1MiB allocated; 2.1s collecting garbage

Counts

8 494 → 703

Calls

156 calls:

603.0ms	l
464.0ms	t
427.0ms	x
397.0ms	k
320.0ms	F

Compiler

Compiled 11 891 to 12 086 computations (-1.6% saved)

series10.4s (6.9%)

Memory

771.8MiB live, 15 269.2MiB allocated; 2.3s collecting garbage

Counts

4 475 → 23 871

Calls

1197 calls:

Time	Variable		Point	Expression
169.0ms	f	@	inf	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (sinh (* (* f (PI)) 1/4)) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (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)))))))) (* (+ (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) -4) (+ (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) 2 (* 1/2 (PI)) 1/2 (/ (neg (log f)) (PI)) (neg (log f)) (log f) (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))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)) (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (exp (* (* (* f (PI)) 1/4) 2)) (* (* (* f (PI)) 1/4) 2) (exp (* (* (* f (PI)) -1/4) 2)) (* (* (* f (PI)) -1/4) 2) (* (* f (PI)) -1/4) (* (cosh (* (* f (PI)) 1/4)) 2))
108.0ms	f	@	-inf	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (sinh (* (* f (PI)) 1/4)) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (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)))))))) (* (+ (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) -4) (+ (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (/ (neg (log f)) (PI))) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) 2 (* 1/2 (PI)) 1/2 (/ (neg (log f)) (PI)) (neg (log f)) (log f) (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))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2))) (/ (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (* (cosh (* (* f (PI)) 1/4)) 2)) (- (exp (* (* (* f (PI)) 1/4) 2)) (exp (* (* (* f (PI)) -1/4) 2))) (exp (* (* (* f (PI)) 1/4) 2)) (* (* (* f (PI)) 1/4) 2) (exp (* (* (* f (PI)) -1/4) 2)) (* (* (* f (PI)) -1/4) 2) (* (* f (PI)) -1/4) (* (cosh (* (* f (PI)) 1/4)) 2))
89.0ms	f	@	inf	((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))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) f (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))
82.0ms	a	@	0	((/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* a (pow k m)) a (pow k m) k m (+ (+ 1 (* 10 k)) (* k k)) (+ 1 (* 10 k)) 1 (* 10 k) 10 (* k k))
80.0ms	f	@	inf	((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (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))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) 4 (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (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 (/ (+ (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)))

analyze8.5s (5.6%)

Memory

7.8MiB live, 10 258.5MiB allocated; 3.1s 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)

eval8.4s (5.6%)

Memory: 136.3MiB live, 13 700.8MiB allocated; 2.4s collecting garbage
Compiler: Compiled 3 047 358 to 260 074 computations (91.5% saved)

explain8.0s (5.3%)

Memory

-221.1MiB live, 11 743.0MiB allocated; 1.6s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`#f`	oflow-rescue	477	0
`-.f64`	`#f`	cancellation	463	2
`cos.f64`	`#f`	sensitivity	433	0
`*.f64`	`#f`	*no**	271	0
`+.f64`	`#f`	nan-rescue	256	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	251	2
`sqrt.f64`	`#f`	uflow-rescue	178	0
`pow.f64`	`#f`	oflow-rescue	149	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	122	0
`-.f64`	`#f`	nan-rescue	115	0
`*.f64`	`#f`	*uo**	112	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	100	33
`/.f64`	`#f`	o/o	69	0
`/.f64`	`#f`	o/n	67	0
`*.f64`	`#f`	*ou**	67	0
`*.f64`	`#f`	*nu**	66	0
`+.f64`	`#f`	cancellation	63	0
`pow.f64`	`#f`	uflow-rescue	51	0
`/.f64`	`#f`	u/u	51	0
`cos.f64`	`(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))`	oflow-rescue	49	0
↳	`(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))`	overflow	49
↳	`(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)`	overflow	49
↳	`(*.f64 K (+.f64 m n))`	overflow	50
`/.f64`	`#f`	n/u	42	0
`/.f64`	`#f`	n/o	36	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	11	0
`/.f64`	`#f`	u/n	10	0
`exp.f64`	`#f`	sensitivity	2	2

Confusion

	Predicted +	Predicted -
+	1995	37
-	1179	4981

Precision

0.6285444234404537

Recall

0.9817913385826772

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1995	0	37
-	1179	38	4943

Precision?

0.6211083437110835

Recall?

0.9817913385826772

Freqs

test

number	freq
0	5018
1	2761
2	360
3	47
4	6

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	26	0	0
-	0	1	5

Precision?

0.9629629629629629

Recall?

1.0

Samples

1.7s	13 260×	0	valid
681.0ms	1 976×	1	valid
325.0ms	766×	2	valid
148.0ms	372×	3	valid
4.0ms	10×	5	exit

Compiler

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

Precisions

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

ival-mult!: 432.0ms (22.8% of total)

ival-div!: 252.0ms (13.3% of total)

ival-sqrt: 138.0ms (7.3% of total)

adjust: 124.0ms (6.6% of total)

ival-sin: 121.0ms (6.4% of total)

ival-exp: 118.0ms (6.2% of total)

ival-pow2: 115.0ms (6.1% of total)

ival-neg: 90.0ms (4.8% of total)

ival-acos: 89.0ms (4.7% of total)

ival-add!: 79.0ms (4.2% of total)

ival-pow: 76.0ms (4% of total)

ival-sub!: 72.0ms (3.8% of total)

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

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

ival-hypot: 21.0ms (1.1% of total)

ival-atan: 18.0ms (1% of total)

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

ival-asin: 12.0ms (0.6% of total)

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

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

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

const: 0.0ms (0% of total)

prune4.7s (3.1%)

Memory: -496.2MiB live, 7 204.8MiB allocated; 1.8s collecting garbage
Counts: 57 750 → 2 757
Compiler: Compiled 261 482 to 130 399 computations (50.1% saved)

preprocess3.2s (2.1%)

Memory

-601.2MiB live, 3 421.6MiB allocated; 636ms collecting garbage

Stop Event

31×	node-limit
1×	saturated

Compiler

Compiled 51 326 to 23 834 computations (53.6% saved)

derivations2.2s (1.5%)

Memory

141.4MiB live, 2 062.7MiB allocated; 204ms collecting garbage

Stop Event

11×	fuel
2×	done

Compiler

Compiled 5 493 to 1 072 computations (80.5% saved)

bsearch88.0ms (0.1%)

Memory

35.0MiB live, 88.1MiB allocated; 89ms collecting garbage

Algorithm

84×	left-value

Compiler

Compiled 1 950 to 1 827 computations (6.3% saved)

start2.0ms (0%)

Memory: 3.6MiB live, 3.4MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample1.1min (43.9%)

rewrite26.5s (17.7%)

regimes12.3s (8.2%)

series10.4s (6.9%)

analyze8.5s (5.6%)

eval8.4s (5.6%)

explain8.0s (5.3%)

prune4.7s (3.1%)

preprocess3.2s (2.1%)

derivations2.2s (1.5%)

bsearch88.0ms (0.1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling