Metrics for Herbie run

Date:	Tuesday, December 24th, 2024
Commit:	531d180e on main
Seed:	2024359
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:	680 265.1 MB

sample3.9min (34.8%)

Memory

1 652.0MiB live, 229 388.1MiB allocated; 1.0min collecting garbage

Samples

56.9s	119 910×	1	valid
54.2s	17 723×	5	exit
44.1s	281 575×	0	valid
17.2s	24 542×	2	valid
8.1s	3 259×	3	valid
6.0s	34 807×	0	exit
4.1s	19 112×	0	invalid
3.0s	12 084×	1	invalid
413.0ms	846×	2	invalid
340.0ms	26×	4	valid
88.0ms	1×	4	exit
29.0ms	31×	1	exit
6.0ms	1×	2	exit

Precisions

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

ival-pow: 45.1s (26.2% of total)

ival-mult: 20.6s (12% of total)

adjust: 17.3s (10.1% of total)

ival-cos: 12.0s (7% of total)

ival-div: 10.1s (5.9% of total)

ival-sin: 8.6s (5% of total)

ival-pow2: 7.4s (4.3% of total)

ival-sub: 6.5s (3.8% of total)

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

ival-cosu: 6.1s (3.5% of total)

ival-sinu: 5.4s (3.1% of total)

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

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

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

const: 2.6s (1.5% of total)

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

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

ival-atan2: 1.0s (0.6% of total)

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

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

ival-tan: 645.0ms (0.4% of total)

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

exact: 357.0ms (0.2% of total)

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

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

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

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

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

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

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

ival-<=: 177.0ms (0.1% of total)

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

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

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

Bogosity

localize1.5min (13.7%)

Memory

171.7MiB live, 88 277.7MiB allocated; 16.7s collecting garbage

Samples

28.8s	16 424×	1	valid
24.9s	1 226×	5	exit
12.9s	4 528×	2	valid
7.8s	25 117×	0	valid
3.1s	3 589×	0	invalid
792.0ms	326×	3	valid
533.0ms	121×	1	invalid
124.0ms	3×	4	exit
62.0ms	369×	0	exit
52.0ms	4×	2	exit
17.0ms	3×	2	invalid
14.0ms	2×	3	exit

Compiler

Compiled 114 535 to 9 339 computations (91.8% saved)

Precisions

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

ival-sin: 24.9s (37% of total)

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

ival-cos: 7.2s (10.7% of total)

adjust: 6.6s (9.8% of total)

ival-div: 3.7s (5.5% of total)

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

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

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

ival-sub: 1.3s (2% of total)

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

const: 1.0s (1.5% of total)

ival-sinu: 899.0ms (1.3% of total)

ival-exp: 844.0ms (1.3% of total)

ival-cosu: 709.0ms (1.1% of total)

ival-log: 587.0ms (0.9% of total)

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

ival-atan2: 328.0ms (0.5% of total)

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

ival-tan: 308.0ms (0.5% of total)

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

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

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

ival-expm1: 137.0ms (0.2% of total)

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

ival-asin: 106.0ms (0.2% of total)

ival-acos: 97.0ms (0.1% of total)

exact: 88.0ms (0.1% of total)

ival-cosh: 49.0ms (0.1% of total)

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

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

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

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

ival-sinh: 10.0ms (0% of total)

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

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

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

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

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

simplify1.2min (10.9%)

Memory

1 290.7MiB live, 69 975.7MiB allocated; 13.0s collecting garbage

Algorithm

456×	egg-herbie

Stop Event

606×	iter limit
402×	node limit
54×	saturated

Counts

24 300 → 24 143

derivations52.1s (7.9%)

Memory

477.3MiB live, 38 010.1MiB allocated; 5.8s collecting garbage

Stop Event

437×	iter limit
286×	node limit
44×	fuel
8×	done
4×	saturated
2×	unsound

Compiler

Compiled 46 215 to 6 160 computations (86.7% saved)

rewrite43.0s (6.5%)

Memory

-209.0MiB live, 41 869.4MiB allocated; 9.4s collecting garbage

Stop Event

425×	iter limit
193×	node limit
5×	unsound
4×	saturated

Counts

3 636 → 88 129

regimes34.1s (5.1%)

Memory

-20.9MiB live, 40 541.4MiB allocated; 5.4s collecting garbage

Counts

19 190 → 859

Calls

155 calls:

2.5s	b
2.1s	a
1.8s	phi1
1.8s	phi2
1.5s	lambda1

Compiler

Compiled 19 036 to 15 793 computations (17% saved)

eval27.6s (4.2%)

Memory: 803.6MiB live, 34 370.4MiB allocated; 7.5s collecting garbage
Compiler: Compiled 9 172 076 to 603 874 computations (93.4% saved)

prune26.2s (3.9%)

Memory: -894.0MiB live, 38 678.7MiB allocated; 5.7s collecting garbage
Counts: 123 564 → 6 943
Compiler: Compiled 1 098 645 to 419 630 computations (61.8% saved)

series22.2s (3.4%)

Memory

1.1MiB live, 25 534.8MiB allocated; 4.2s collecting garbage

Counts

3 636 → 24 300

Calls

1638 calls:

Time	Variable		Point	Expression
262.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 (exp (neg t)))) (log (+ 1 (neg (exp (neg (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) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
188.0ms	t	@	inf	((fabs (- (* (* (cos (atan (* (/ (tan t) ew) eh))) ew) (cos t)) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* (cos (atan (* (/ (tan t) ew) eh))) ew) (cos t)) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* ew (+ (* (* (neg eh) (sin t)) (/ (tanh (asinh (* (/ (neg eh) ew) (tan t)))) ew)) (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)))) (+ (* (* (neg eh) (sin t)) (/ (tanh (asinh (* (/ (neg eh) ew) (tan t)))) ew)) (* (cos (atan (* (/ (tan t) ew) eh))) (cos t))) (* (sqrt (neg (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))))) (sqrt (neg (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))))) (neg ew) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (/ (+ (* (* (/ (neg eh) ew) (tan t)) (* (neg t) eh)) (* 1 ew)) (cosh (asinh (* eh (/ (tan t) ew))))) (+ (* (* (/ (neg eh) ew) (tan t)) (* (neg t) eh)) (* 1 ew)) (+ (* (* eh eh) (/ (* t t) ew)) ew) (+ (* (* (* eh (/ (neg eh) ew)) (tan t)) (neg t)) ew) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (/ (+ (* (* (* eh (/ (neg eh) ew)) (tan t)) (neg t)) ew) (cosh (asinh (* eh (/ (tan t) ew))))) (* (* eh (/ (neg eh) ew)) (tan t)) (/ (- (* (cos t) ew) (* (* (sin t) eh) (* (/ (neg eh) ew) (tan t)))) (cosh (asinh (* (/ (tan t) ew) eh)))) (- (* (cos t) ew) (* (* (sin t) eh) (* (/ (neg eh) ew) (tan t)))) (/ (- (* (* ew ew) (cos t)) (neg (/ (* (* eh eh) (pow (sin t) 2)) (cos t)))) ew) (* (+ (* ew (/ (cos t) (* eh eh))) (/ (/ (pow (sin t) 2) ew) (cos t))) (* eh eh)) (cos (atan (* (/ (tan t) ew) eh))) (asinh (* (/ (neg eh) ew) (tan t))) (* (/ (tan t) ew) eh) (/ (* t t) ew) (asinh (* eh (/ (tan t) ew))) (+ (* ew (/ (cos t) (* eh eh))) (/ (/ (pow (sin t) 2) ew) (cos t))) (/ (pow (sin t) 2) ew))
173.0ms	a	@	inf	((/ (cbrt (neg g)) (cbrt (* -2 a))) (cbrt (neg g)) (neg g) (cbrt (* -2 a)) (cbrt (/ g (+ a a))) (/ g (+ a a)) (+ a a) (cbrt (/ g (* 2 a))) (* (cbrt 1/2) (cbrt (/ g a))) (cbrt 1/2) (cbrt (/ g a)) (/ (cbrt (/ g a)) (cbrt 2)) (/ g a) (cbrt 2) (/ (/ (cbrt g) (cbrt a)) (cbrt 2)) (/ (cbrt g) (cbrt a)) (cbrt g) (cbrt a))
153.0ms	s	@	-inf	((- (+ (* (+ (* (* c_n 1) -1/2) (+ (* (* -1/8 (+ c_p (* c_n 1))) s) (* 1/2 c_p))) s) (* (log 1/2) c_n)) (* (log 1/2) c_n)) (- (+ (* (log (- 1 (exp (neg (log (+ 1 (exp (neg s)))))))) c_n) (* (neg c_p) (log (+ 1 (exp (neg s)))))) (+ (* (neg c_p) (log 2)) (* (log 1/2) c_n))) (* c_n 1) (+ (* (* (exp (- (+ (* (log (- 1 (exp (neg (log (+ 1 (exp (neg s)))))))) c_n) (* (neg c_p) (log (+ 1 (exp (neg s)))))) (+ (* (neg c_p) (log 2)) (* (log 1/2) c_n)))) (* -1/2 (- (* c_n 1) c_p))) (neg t)) (exp (- (+ (* (log (- 1 (exp (neg (log (+ 1 (exp (neg s)))))))) c_n) (* (neg c_p) (log (+ 1 (exp (neg s)))))) (+ (* (neg c_p) (log 2)) (* (log 1/2) 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 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ 1 (+ (exp (neg s)) 1)) (/ 1 (+ (exp (neg s)) 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 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ (* (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 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (+ (* (neg c_p) (- (log (+ 1 (exp (neg s)))) (log (+ 1 (exp (neg t)))))) 1) (neg c_p) (- (* (log (+ 1 (exp (neg s)))) (neg c_p)) (* (log (+ 1 (exp (neg t)))) (neg c_p))) (/ (* (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))) (exp (- (* (log (+ 1 (exp (neg s)))) (neg c_p)) (* (log (+ 1 (exp (neg t)))) (neg c_p)))) (* (log (+ 1 (exp (neg s)))) (neg c_p)) (- (+ (* (log (- 1 (exp (neg (log (+ 1 (exp (neg s)))))))) c_n) (* (neg c_p) (log (+ 1 (exp (neg s)))))) (+ (* (neg c_p) (log 2)) (* (log 1/2) 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)))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (log (+ 1 (exp (neg t)))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (log (+ 1 (exp (neg t)))) (- (log (+ 1 (exp (neg s)))) (log (+ 1 (exp (neg t))))) (log (+ 1 (exp (neg s)))) (* (log (+ 1 (exp (neg t)))) (neg c_p)))
133.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 (exp (neg t)))) (log (+ 1 (neg (exp (neg (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) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))

explain21.9s (3.3%)

Memory

-593.2MiB live, 24 420.0MiB allocated; 4.0s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1903	5
`+.f64`	`#f`	cancellation	1721	33
`sin.f64`	`#f`	sensitivity	1635	5
`sqrt.f64`	`#f`	oflow-rescue	1411	0
`-.f64`	`#f`	cancellation	940	11
`-.f64`	`#f`	nan-rescue	651	0
`log.f64`	`#f`	sensitivity	571	0
`/.f64`	`#f`	o/n	496	0
`/.f64`	`#f`	o/o	384	0
`/.f64`	`#f`	u/u	277	0
`*.f64`	`#f`	*no**	257	0
`exp.f64`	`#f`	sensitivity	163	25
`sqrt.f64`	`#f`	uflow-rescue	156	0
`/.f64`	`#f`	u/n	135	0
`/.f64`	`#f`	n/o	107	0
`*.f64`	`#f`	*nu**	89	0
`cbrt.f64`	`#f`	oflow-rescue	84	0
`cbrt.f64`	`#f`	uflow-rescue	45	0
`/.f64`	`#f`	n/u	43	0
`*.f64`	`#f`	*ou**	38	0
`*.f64`	`#f`	*uo**	37	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	20	1
`pow.f64`	`#f`	sensitivity	9	3
`pow.f64`	`#f`	uflow-rescue	8	0
`log.f64`	`#f`	oflow-rescue	6	0

Confusion

	Predicted +	Predicted -
+	5715	59
-	1372	6166

Precision

0.8064060956681247

Recall

0.9897817803948735

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5715	34	25
-	1372	31	6135

Precision?

0.803831096196868

Recall?

0.9956702459300312

Freqs

test

number	freq
0	6225
1	4670
2	1583
3	354
4	248
5	139
6	62
7	22
8	7
9	1
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	1
-	3	0	6

Precision?

0.9333333333333333

Recall?

0.9767441860465116

Samples

4.5s	7 720×	1	valid
2.6s	2 102×	2	valid
2.4s	16 472×	0	valid
550.0ms	330×	3	valid

Compiler

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

Precisions

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

ival-sin: 1.3s (16% of total)

ival-cos: 1.0s (12.6% of total)

ival-mult: 1.0s (12.3% of total)

adjust: 834.0ms (10.2% of total)

ival-log: 782.0ms (9.6% of total)

ival-div: 588.0ms (7.2% of total)

ival-sinu: 388.0ms (4.8% of total)

ival-pow2: 362.0ms (4.4% of total)

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

ival-cosu: 322.0ms (4% of total)

ival-add: 276.0ms (3.4% of total)

ival-exp: 210.0ms (2.6% of total)

ival-sqrt: 154.0ms (1.9% of total)

ival-neg: 102.0ms (1.3% of total)

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

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

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

ival-atan2: 41.0ms (0.5% of total)

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

ival-atan: 31.0ms (0.4% of total)

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

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

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

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

exact: 18.0ms (0.2% of total)

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

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

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

analyze18.7s (2.8%)

Memory

573.1MiB live, 24 130.7MiB allocated; 6.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)

preprocess13.2s (2%)

Memory

515.8MiB live, 14 526.7MiB allocated; 2.8s collecting garbage

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
64×	node limit
40×	saturated

Compiler

Compiled 126 559 to 24 537 computations (80.6% saved)

bsearch10.4s (1.6%)

Memory

136.8MiB live, 10 535.0MiB allocated; 1.4s collecting garbage

Algorithm

284×	binary-search
85×	left-value

Stop Event

272×	narrow-enough
12×	predicate-same

Samples

4.5s	6 047×	1	valid
2.4s	13 965×	0	valid
745.0ms	961×	2	valid
200.0ms	51×	3	valid
36.0ms	406×	0	invalid

Compiler

Compiled 262 297 to 142 744 computations (45.6% saved)

Precisions

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

ival-sin: 1.5s (21.5% of total)

ival-cos: 1.2s (17.3% of total)

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

adjust: 586.0ms (8.5% of total)

ival-pow2: 526.0ms (7.6% of total)

ival-sub: 354.0ms (5.1% of total)

ival-div: 334.0ms (4.8% of total)

ival-sinu: 285.0ms (4.1% of total)

ival-cosu: 231.0ms (3.3% of total)

ival-add: 180.0ms (2.6% of total)

ival-sqrt: 134.0ms (1.9% of total)

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

ival-atan2: 86.0ms (1.2% of total)

ival-hypot: 81.0ms (1.2% of total)

ival-atan: 64.0ms (0.9% of total)

ival-exp: 59.0ms (0.9% of total)

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

ival-neg: 27.0ms (0.4% of total)

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

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

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

exact: 11.0ms (0.2% of total)

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

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

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

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

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

start3.0ms (0%)

Memory: 5.5MiB live, 5.4MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory: 0.9MiB live, 1.0MiB allocated; 0ms collecting garbage

sample3.9min (34.8%)

localize1.5min (13.7%)

simplify1.2min (10.9%)

derivations52.1s (7.9%)

rewrite43.0s (6.5%)

regimes34.1s (5.1%)

eval27.6s (4.2%)

prune26.2s (3.9%)

series22.2s (3.4%)

explain21.9s (3.3%)

analyze18.7s (2.8%)

preprocess13.2s (2%)

bsearch10.4s (1.6%)

start3.0ms (0%)

end0.0ms (0%)

Profiling