Metrics for Herbie run

Date:	Thursday, December 5th, 2024
Commit:	4b098aa3 on Unsound-rule-removal
Hostname:	nightly with Racket 8.10
Seed:	2024340
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:	711 109.6 MB

sample3.4min (31.9%)

Memory

550.7MiB live, 215 830.2MiB allocated

Samples

48.5s	107 598×	1	valid
45.9s	295 121×	0	valid
31.9s	14 267×	5	exit
18.0s	23 592×	2	valid
6.8s	2 985×	3	valid
6.3s	35 160×	0	exit
3.2s	20 410×	0	invalid
2.7s	11 083×	1	invalid
432.0ms	3 573×	1	exit
353.0ms	787×	2	invalid
174.0ms	16×	4	valid
58.0ms	5×	4	exit
3.0ms	1×	2	exit
2.0ms	1×	3	exit

Precisions

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

ival-pow: 25.9s (18.3% of total)

ival-mult: 16.8s (11.9% of total)

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

adjust: 10.9s (7.7% of total)

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

ival-pow2: 8.4s (5.9% of total)

ival-sub: 7.3s (5.2% of total)

ival-sin: 7.2s (5.1% of total)

ival-add: 7.0s (5% of total)

ival-sinu: 5.6s (4% of total)

ival-exp: 5.6s (4% of total)

ival-cosu: 4.8s (3.4% of total)

ival-log: 4.0s (2.8% of total)

ival-sqrt: 3.5s (2.5% of total)

ival-<: 2.4s (1.7% of total)

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

const: 1.4s (1% of total)

ival-cbrt: 1.3s (0.9% of total)

ival-atan2: 907.0ms (0.6% of total)

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

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

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

exact: 387.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.3min (12.3%)

Memory

1 617.4MiB live, 84 167.7MiB allocated

Algorithm

460×	egg-herbie

Stop Event

612×	iter limit
405×	node limit
55×	saturated

Counts

25 121 → 24 957

localize1.3min (11.8%)

Memory

30.9MiB live, 86 032.0MiB allocated

Samples

24.6s	16 186×	1	valid
13.0s	519×	5	exit
10.2s	3 928×	2	valid
9.6s	27 369×	0	valid
1.9s	2 704×	0	invalid
1.8s	189×	4	exit
946.0ms	350×	3	valid
868.0ms	764×	1	exit
97.0ms	75×	1	invalid
69.0ms	3×	3	exit
53.0ms	130×	0	exit
7.0ms	7×	4	valid

Compiler

Compiled 119 798 to 9 604 computations (92% saved)

Precisions

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

ival-sin: 14.5s (27.2% of total)

ival-mult: 9.0s (16.8% of total)

ival-cos: 5.5s (10.3% of total)

ival-div: 4.4s (8.2% of total)

adjust: 4.0s (7.5% of total)

ival-add: 2.8s (5.2% of total)

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

ival-sub: 1.6s (2.9% of total)

const: 1.2s (2.3% of total)

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

ival-exp: 957.0ms (1.8% of total)

ival-sqrt: 887.0ms (1.7% of total)

ival-cosu: 746.0ms (1.4% of total)

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

ival-log: 727.0ms (1.4% of total)

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

ival-expm1: 350.0ms (0.7% of total)

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

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

ival-cbrt: 237.0ms (0.4% of total)

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

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

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

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

exact: 100.0ms (0.2% of total)

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

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

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

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

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

ival-sinh: 33.0ms (0.1% of total)

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

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

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

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

soundness55.8s (8.8%)

Memory

-222.4MiB live, 42 676.0MiB allocated

Stop Event

439×	iter limit
281×	node limit
47×	fuel
5×	saturated
5×	done
3×	unsound

Compiler

Compiled 82 590 to 29 753 computations (64% saved)

rewrite45.7s (7.2%)

Memory

-225.9MiB live, 49 988.3MiB allocated

Stop Event

426×	iter limit
196×	node limit
4×	saturated
4×	unsound

Counts

3 679 → 91 603

regimes34.2s (5.4%)

Memory

277.7MiB live, 43 306.2MiB allocated

Counts

18 419 → 845

Calls

155 calls:

2.3s	phi2
2.1s	b
2.1s	phi1
2.0s	lambda1
2.0s	lambda2

Compiler

Compiled 18 464 to 15 088 computations (18.3% saved)

eval28.1s (4.4%)

Memory: 908.4MiB live, 39 764.9MiB allocated
Compiler: Compiled 10 704 451 to 644 700 computations (94% saved)

prune27.9s (4.4%)

Memory: -454.8MiB live, 42 377.6MiB allocated
Counts: 127 676 → 6 817
Compiler: Compiled 1 103 224 to 416 725 computations (62.2% saved)

series27.4s (4.3%)

Memory

743.7MiB live, 32 671.7MiB allocated

Counts

3 679 → 25 121

Calls

1644 calls:

Time	Variable		Point	Expression
1.8s	t	@	0	((+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ eh (* (tan t) ew)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ eh (* (tan t) ew))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (* (cos t) (/ (/ eh (tan t)) ew)) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (/ (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (/ (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ eh (* (tan t) ew)) (* (tan t) ew) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (asinh (/ (/ eh (tan t)) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))) (/ (/ eh (tan t)) ew) (* eh (cos t)) (* (* t t) eh) (cos (atan (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
804.0ms	ew	@	0	((+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ eh (* (tan t) ew)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ eh (* (tan t) ew))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (* (cos t) (/ (/ eh (tan t)) ew)) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (/ (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (/ (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ eh (* (tan t) ew)) (* (tan t) ew) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (asinh (/ (/ eh (tan t)) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))) (/ (/ eh (tan t)) ew) (* eh (cos t)) (* (* t t) eh) (cos (atan (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
294.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 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (- (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (log (- 1 (/ 1 (+ (exp (neg t)) 1)))))) c_n) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p))) (log (+ 1 (exp (neg s)))) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))) c_n) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (+ (exp (neg t)) 1) (- 1 (/ 1 (+ (exp (neg s)) 1))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))) (- (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (log (- 1 (/ 1 (+ (exp (neg t)) 1))))))
165.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) (+ (* (* ew ew) (/ (pow (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) 2) (/ (+ (* (* (* (sin t) (neg eh)) (/ (tan t) ew)) eh) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))))) (/ (neg (pow (* (sin (atan (* (/ (tan t) ew) eh))) (* (sin t) eh)) 2)) (/ (+ (* (* (* (sin t) (neg eh)) (/ (tan t) ew)) eh) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))))) (* ew ew) (/ (pow (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) 2) (/ (+ (* (* (* (sin t) (neg eh)) (/ (tan t) ew)) eh) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) (pow (* (cos (atan (* (/ (tan t) ew) eh))) (cos t)) 2) (cos (atan (* (/ (tan t) ew) eh))) (/ (* (neg eh) (tan t)) ew) (* (/ (tan t) ew) eh) (* eh (sin t)) (* (/ (neg (sin t)) ew) (/ eh (cos t))) (/ eh (cos t)) (* (/ (tan t) ew) (* eh eh)) (asinh (* (/ (tan t) ew) eh)) (/ (neg (pow (* (sin (atan (* (/ (tan t) ew) eh))) (* (sin t) eh)) 2)) (/ (+ (* (* (* (sin t) (neg eh)) (/ (tan t) ew)) eh) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) (/ (+ (* (* (* (sin t) (neg eh)) (/ (tan t) ew)) eh) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh)))))
157.0ms	t	@	inf	((+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ eh (* (tan t) ew)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ eh (* (tan t) ew))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* ew (sin t)) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (* (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) eh) (sin (atan (* (/ (cos t) ew) (/ eh (sin t))))) (fabs (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (* (cos t) (/ (/ eh (tan t)) ew)) (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t)))))) (fabs (+ (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (tan t))))) (* (* eh (cos t)) (sin (atan (/ (/ eh ew) (tan t))))))) (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (/ (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (fabs (+ (* (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (/ (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))) (/ (neg (pow (* (tanh (asinh (/ (/ eh (tan t)) ew))) (* (cos t) eh)) 2)) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))))) (* (cos (atan (/ (/ eh (tan t)) ew))) (* (* (sin t) ew) ew)) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ eh (* (tan t) ew)) (* (tan t) ew) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (asinh (/ (/ eh (tan t)) ew)) (cosh (asinh (/ (/ eh (tan t)) ew))) (/ (/ eh (tan t)) ew) (* eh (cos t)) (* (* t t) eh) (cos (atan (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))

explain20.3s (3.2%)

Memory

57.6MiB live, 27 088.2MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1891	2
`+.f64`	`#f`	cancellation	1735	26
`sin.f64`	`#f`	sensitivity	1655	0
`sqrt.f64`	`#f`	oflow-rescue	1405	0
`-.f64`	`#f`	cancellation	903	11
`log.f64`	`#f`	sensitivity	618	1
`-.f64`	`#f`	nan-rescue	609	0
`/.f64`	`#f`	o/n	528	0
`/.f64`	`#f`	o/o	365	0
`/.f64`	`#f`	u/u	286	0
`*.f64`	`#f`	*no**	274	0
`exp.f64`	`#f`	sensitivity	180	21
`sqrt.f64`	`#f`	uflow-rescue	147	0
`/.f64`	`#f`	u/n	130	0
`/.f64`	`#f`	n/o	124	0
`*.f64`	`#f`	*nu**	88	0
`cbrt.f64`	`#f`	oflow-rescue	75	0
`*.f64`	`#f`	*ou**	50	0
`cbrt.f64`	`#f`	uflow-rescue	46	0
`*.f64`	`#f`	*uo**	33	0
`/.f64`	`#f`	n/u	29	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	22	4
`pow.f64`	`#f`	sensitivity	10	4
`log.f64`	`#f`	oflow-rescue	8	0
`pow.f64`	`#f`	uflow-rescue	7	0
`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	76
↳	`(exp.f64 b)`	underflow	66

Confusion

	Predicted +	Predicted -
+	5756	54
-	1324	6178

Precision

0.8129943502824859

Recall

0.9907056798623064

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5756	28	26
-	1324	32	6146

Precision?

0.8100840336134454

Recall?

0.9955249569707401

Freqs

test

number	freq
0	6232
1	4637
2	1607
3	365
4	229
5	149
6	53
7	30
8	7
9	2
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	0
-	2	0	7

Precision?

0.9555555555555556

Recall?

1.0

Samples

3.5s	6 944×	1	valid
2.7s	17 430×	0	valid
1.8s	1 944×	2	valid
527.0ms	306×	3	valid

Compiler

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

Precisions

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

ival-sin: 1.0s (15.3% of total)

ival-mult: 882.0ms (13% of total)

ival-cos: 772.0ms (11.4% of total)

ival-div: 579.0ms (8.5% of total)

adjust: 464.0ms (6.8% of total)

ival-pow2: 459.0ms (6.8% of total)

ival-cosu: 391.0ms (5.8% of total)

ival-add: 382.0ms (5.6% of total)

ival-sub: 336.0ms (5% of total)

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

ival-sqrt: 245.0ms (3.6% of total)

ival-exp: 227.0ms (3.3% of total)

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

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

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

ival-atan2: 73.0ms (1.1% of total)

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

ival-cbrt: 41.0ms (0.6% of total)

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

ival-true: 25.0ms (0.4% of total)

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

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

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

exact: 20.0ms (0.3% of total)

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

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

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

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

analyze18.3s (2.9%)

Memory

217.5MiB live, 20 674.0MiB allocated

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.5s (2%)

Memory

286.3MiB live, 15 439.1MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
64×	node limit
40×	saturated

Compiler

Compiled 117 213 to 22 519 computations (80.8% saved)

bsearch10.1s (1.6%)

Memory

-4.6MiB live, 11 085.2MiB allocated

Algorithm

267×	binary-search
99×	left-value

Stop Event

260×	narrow-enough
7×	predicate-same

Samples

3.9s	5 900×	1	valid
3.0s	13 842×	0	valid
558.0ms	808×	2	valid
178.0ms	106×	3	valid
81.0ms	705×	0	invalid

Compiler

Compiled 226 271 to 126 977 computations (43.9% saved)

Precisions

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

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

ival-sin: 1.2s (17.8% of total)

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

ival-neg: 528.0ms (7.9% of total)

ival-pow2: 370.0ms (5.6% of total)

adjust: 361.0ms (5.4% of total)

ival-sub: 360.0ms (5.4% of total)

ival-div: 316.0ms (4.7% of total)

ival-add: 223.0ms (3.3% of total)

ival-sinu: 213.0ms (3.2% of total)

ival-cosu: 196.0ms (2.9% of total)

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

ival-acos: 118.0ms (1.8% of total)

ival-atan2: 91.0ms (1.4% of total)

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

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

ival-tan: 50.0ms (0.8% of total)

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

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

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

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

exact: 10.0ms (0.2% of total)

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

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

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

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

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

start3.0ms (0%)

Memory: 7.8MiB live, 7.8MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.6MiB allocated

sample3.4min (31.9%)

simplify1.3min (12.3%)

localize1.3min (11.8%)

soundness55.8s (8.8%)

rewrite45.7s (7.2%)

regimes34.2s (5.4%)

eval28.1s (4.4%)

prune27.9s (4.4%)

series27.4s (4.3%)

explain20.3s (3.2%)

analyze18.3s (2.9%)

preprocess12.5s (2%)

bsearch10.1s (1.6%)

start3.0ms (0%)

end0.0ms (0%)

Profiling