Metrics for Herbie run

Date:	Monday, December 2nd, 2024
Commit:	a3fa83c3 on main
Hostname:	nightly with Racket 8.10
Seed:	2024337
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:	702 509.4 MB

sample3.5min (32.3%)

Memory

1 054.6MiB live, 215 622.5MiB allocated

Samples

57.2s	107 920×	1	valid
44.5s	294 784×	0	valid
32.4s	14 213×	5	exit
16.5s	23 511×	2	valid
7.3s	35 560×	0	exit
7.1s	3 072×	3	valid
3.4s	20 685×	0	invalid
3.0s	11 068×	1	invalid
445.0ms	775×	2	invalid
437.0ms	3 614×	1	exit
320.0ms	25×	4	valid
10.0ms	4×	4	exit

Precisions

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

ival-pow: 27.6s (18.7% of total)

ival-mult: 17.4s (11.8% of total)

ival-div: 12.4s (8.4% of total)

ival-cos: 11.5s (7.8% of total)

adjust: 11.1s (7.5% of total)

ival-sin: 8.4s (5.7% of total)

ival-pow2: 7.6s (5.1% of total)

ival-sub: 7.2s (4.9% of total)

ival-add: 6.6s (4.4% of total)

ival-exp: 6.1s (4.1% of total)

ival-cosu: 5.8s (3.9% of total)

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

ival-log: 4.4s (3% of total)

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

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

const: 1.6s (1.1% of total)

ival-<: 1.4s (1% of total)

ival-atan2: 980.0ms (0.7% of total)

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

ival-tan: 864.0ms (0.6% of total)

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

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

exact: 380.0ms (0.3% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.3min (12.1%)

Memory

450.2MiB live, 86 179.7MiB allocated

Algorithm

460×	egg-herbie

Stop Event

617×	iter limit
404×	node limit
54×	saturated
2×	unsound

Counts

23 574 → 23 429

localize1.1min (10.3%)

Memory

-44.9MiB live, 75 881.1MiB allocated

Samples

23.0s	15 390×	1	valid
10.6s	28 293×	0	valid
9.2s	3 784×	2	valid
7.6s	570×	5	exit
1.6s	3 047×	0	invalid
982.0ms	118×	4	exit
955.0ms	305×	3	valid
557.0ms	474×	1	exit
428.0ms	137×	1	invalid
104.0ms	60×	2	exit
63.0ms	4×	3	exit
9.0ms	39×	0	exit
3.0ms	3×	4	valid

Compiler

Compiled 118 515 to 9 231 computations (92.2% saved)

Precisions

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

ival-mult: 9.9s (21.8% of total)

ival-sin: 8.7s (19.2% of total)

ival-cos: 4.8s (10.6% of total)

adjust: 3.8s (8.2% of total)

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

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

ival-pow2: 1.9s (4.2% of total)

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

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

const: 1.1s (2.5% of total)

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

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

ival-sinu: 798.0ms (1.8% of total)

ival-cosu: 667.0ms (1.5% of total)

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

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

ival-tan: 293.0ms (0.6% of total)

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

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

ival-cbrt: 228.0ms (0.5% of total)

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

ival-expm1: 118.0ms (0.3% of total)

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

exact: 98.0ms (0.2% of total)

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

ival-cosh: 81.0ms (0.2% of total)

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

ival-asinh: 71.0ms (0.2% of total)

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

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

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

ival-tanh: 37.0ms (0.1% of total)

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

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

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

soundness58.3s (9%)

Memory

306.8MiB live, 42 645.0MiB allocated

Stop Event

405×	iter limit
263×	node limit
46×	fuel
6×	done
4×	saturated
2×	unsound

Compiler

Compiled 97 103 to 31 597 computations (67.5% saved)

rewrite44.4s (6.8%)

Memory

316.2MiB live, 48 432.7MiB allocated

Stop Event

428×	iter limit
194×	node limit
5×	saturated
5×	unsound

Counts

3 714 → 92 133

regimes36.3s (5.6%)

Memory

-90.6MiB live, 41 953.7MiB allocated

Counts

17 986 → 879

Calls

155 calls:

2.2s	phi1
2.2s	phi2
2.2s	lambda2
2.0s	a
2.0s	lambda1

Compiler

Compiled 18 688 to 15 114 computations (19.1% saved)

series31.0s (4.8%)

Memory

776.9MiB live, 35 580.6MiB allocated

Counts

3 714 → 23 574

Calls

1653 calls:

Time	Variable		Point	Expression
1.8s	t	@	0	((fabs (+ (* (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) eh) (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))))) (+ (* (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) eh) (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew))))) (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) (tanh (asinh (/ (/ eh (tan t)) ew))) (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)) (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2)) (fabs (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2))) (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2) (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) (+ (* ew (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (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 (+ (* ew (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (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))))))) (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (cos (atan (/ (/ eh (tan t)) ew))) (asinh (/ (/ eh (tan t)) ew)) (/ (/ eh (tan t)) ew) (/ eh (tan t)) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
919.0ms	ew	@	0	((fabs (+ (* (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) eh) (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))))) (+ (* (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) eh) (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew))))) (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) (tanh (asinh (/ (/ eh (tan t)) ew))) (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)) (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2)) (fabs (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2))) (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2) (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) (+ (* ew (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (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 (+ (* ew (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (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))))))) (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (cos (atan (/ (/ eh (tan t)) ew))) (asinh (/ (/ eh (tan t)) ew)) (/ (/ eh (tan t)) ew) (/ eh (tan t)) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
874.0ms	a	@	0	((+ (* (* (cbrt (/ g a)) (cbrt -1/2)) (cbrt 2)) (* (cbrt (* (/ h g) (/ h a))) (* (cbrt 1/2) (cbrt -1/2)))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (* (cbrt (/ g a)) (cbrt -1/2)) (cbrt (/ g a)) (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (+ (neg g) (* (sqrt (- g h)) (sqrt (+ h g)))) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (* (sqrt (- g h)) (sqrt (+ h g)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (* (/ (+ (* (sqrt (- g h)) (sqrt (+ h g))) (neg g)) 1) (/ (- (neg g) (sqrt (* (- g h) (+ h g)))) (+ (* (sqrt (- g h)) (sqrt (+ h g))) (neg g)))) (/ (+ (* (sqrt (- g h)) (sqrt (+ h g))) (neg g)) 1) (exp (* (log (* a 2)) -1)) (* (log (* a 2)) -1) (cbrt (* (/ h g) (/ h a))) (* (/ h g) (/ h a)) (cbrt 2) (sqrt (- (* g g) (* h h))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (* (sqrt (- g h)) (sqrt (+ h g)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (+ (* (sqrt (- g h)) (sqrt (+ h g))) (neg g)) (sqrt (* (- g h) (+ h g))) (cbrt (* (exp (* (log (* a 2)) -1)) (+ (neg g) (sqrt (- (* g g) (* h h)))))))
234.0ms	t	@	inf	((+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (exp (neg t)))) c_p)) (+ (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (* (neg c_n) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))))) (+ (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (exp (neg t)))) c_p)) (+ (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (* (neg c_n) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t)))))))))))) (exp (+ (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (exp (neg t)))) c_p)) (+ (* (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) c_n) (* (neg c_n) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t))))))))))))) (/ (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))) (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg s))))))))) (log (+ 1 (exp (neg t)))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
233.0ms	t	@	inf	((fabs (+ (* (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) eh) (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew)))))) (+ (* (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) eh) (* (* (sin t) ew) (cos (atan (/ (/ eh (tan t)) ew))))) (* (tanh (asinh (/ (/ eh (tan t)) ew))) (cos t)) (tanh (asinh (/ (/ eh (tan t)) ew))) (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)) (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2)) (fabs (exp (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2))) (* (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) 1/2) (log (pow (/ (+ (* (* (cos t) (/ (/ eh (tan t)) ew)) eh) (* (sin t) ew)) (cosh (asinh (/ (/ eh (tan t)) ew)))) 2)) (+ (* ew (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (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 (+ (* ew (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (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))))))) (/ (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (cos (atan (/ (/ eh (tan t)) ew))) (asinh (/ (/ eh (tan t)) ew)) (/ (/ eh (tan t)) ew) (/ eh (tan t)) (* (/ (cos t) ew) (/ eh (sin t))) (/ eh (sin t)) (/ (cos t) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))

eval28.3s (4.4%)

Memory: 305.7MiB live, 39 283.2MiB allocated
Compiler: Compiled 10 478 719 to 610 720 computations (94.2% saved)

prune26.7s (4.1%)

Memory: -51.1MiB live, 39 293.6MiB allocated
Counts: 123 890 → 6 603
Compiler: Compiled 1 074 307 to 405 922 computations (62.2% saved)

explain23.0s (3.5%)

Memory

-309.3MiB live, 26 979.5MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1892	1
`+.f64`	`#f`	cancellation	1756	37
`sin.f64`	`#f`	sensitivity	1641	2
`sqrt.f64`	`#f`	oflow-rescue	1419	0
`-.f64`	`#f`	cancellation	986	9
`-.f64`	`#f`	nan-rescue	652	0
`log.f64`	`#f`	sensitivity	574	0
`/.f64`	`#f`	o/n	500	0
`/.f64`	`#f`	o/o	338	0
`/.f64`	`#f`	u/u	289	0
`*.f64`	`#f`	*no**	240	0
`/.f64`	`#f`	u/n	169	0
`sqrt.f64`	`#f`	uflow-rescue	153	0
`exp.f64`	`#f`	sensitivity	151	23
`/.f64`	`#f`	n/o	122	0
`cbrt.f64`	`#f`	oflow-rescue	97	0
`*.f64`	`#f`	*nu**	71	0
`cbrt.f64`	`#f`	uflow-rescue	51	0
`/.f64`	`#f`	n/u	46	0
`*.f64`	`#f`	*uo**	39	0
`*.f64`	`#f`	*ou**	33	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	23	5
`pow.f64`	`#f`	sensitivity	12	6
`pow.f64`	`#f`	uflow-rescue	8	0
`log.f64`	`#f`	oflow-rescue	4	0
`asin.f64`	`(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))`	sensitivity	1	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	62
↳	`(exp.f64 b)`	underflow	60

Confusion

	Predicted +	Predicted -
+	5767	67
-	1364	6114

Precision

0.808722479315664

Recall

0.9885155982173466

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5767	36	31
-	1364	27	6087

Precision?

0.8066444259104809

Recall?

0.9946863215632499

Freqs

test

number	freq
0	6181
1	4721
2	1560
3	369
4	232
5	158
6	52
7	26
8	9
9	4

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	0	0
-	3	0	6

Precision?

0.9347826086956522

Recall?

1.0

Samples

3.4s	7 056×	1	valid
2.6s	17 252×	0	valid
2.3s	2 002×	2	valid
476.0ms	312×	3	valid
2.0ms	2×	4	valid

Compiler

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

Precisions

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

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

ival-mult: 970.0ms (13.7% of total)

ival-cos: 795.0ms (11.3% of total)

ival-div: 555.0ms (7.9% of total)

ival-pow2: 514.0ms (7.3% of total)

adjust: 514.0ms (7.3% of total)

ival-sub: 375.0ms (5.3% of total)

ival-cosu: 313.0ms (4.4% of total)

ival-sinu: 303.0ms (4.3% of total)

ival-log: 290.0ms (4.1% of total)

ival-exp: 265.0ms (3.8% of total)

ival-add: 258.0ms (3.7% of total)

ival-sqrt: 195.0ms (2.8% of total)

ival-atan: 79.0ms (1.1% of total)

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

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

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

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

ival-pow: 39.0ms (0.6% of total)

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

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

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

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

exact: 19.0ms (0.3% of total)

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

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

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

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

analyze19.3s (3%)

Memory

328.4MiB live, 19 755.1MiB 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)

preprocess14.0s (2.1%)

Memory

321.7MiB live, 15 467.3MiB allocated

Algorithm

52×	egg-herbie

Stop Event

104×	iter limit
64×	node limit
40×	saturated

Compiler

Compiled 132 745 to 22 725 computations (82.9% saved)

bsearch13.0s (2%)

Memory

202.8MiB live, 15 427.7MiB allocated

Algorithm

314×	binary-search
78×	left-value

Stop Event

301×	narrow-enough
13×	predicate-same

Samples

5.5s	7 074×	1	valid
3.1s	14 278×	0	valid
890.0ms	946×	2	valid
208.0ms	1 703×	0	invalid
144.0ms	364×	1	invalid
68.0ms	38×	3	valid
43.0ms	103×	2	invalid

Compiler

Compiled 319 312 to 167 390 computations (47.6% saved)

Precisions

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

ival-cos: 1.6s (18.3% of total)

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

ival-mult: 1.3s (15% of total)

ival-div: 770.0ms (8.9% of total)

ival-pow2: 647.0ms (7.5% of total)

adjust: 612.0ms (7.1% of total)

ival-cosu: 453.0ms (5.3% of total)

ival-sub: 403.0ms (4.7% of total)

ival-sinu: 334.0ms (3.9% of total)

ival-add: 272.0ms (3.2% of total)

ival-sqrt: 184.0ms (2.1% of total)

ival-atan2: 181.0ms (2.1% of total)

ival-exp: 98.0ms (1.1% of total)

ival-acos: 82.0ms (1% of total)

ival-neg: 42.0ms (0.5% of total)

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

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

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

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

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

exact: 14.0ms (0.2% of total)

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

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

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

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

start3.0ms (0%)

Memory: 7.0MiB live, 6.9MiB allocated

end0.0ms (0%)

Memory: 0.9MiB live, 0.9MiB allocated

sample3.5min (32.3%)

simplify1.3min (12.1%)

localize1.1min (10.3%)

soundness58.3s (9%)

rewrite44.4s (6.8%)

regimes36.3s (5.6%)

series31.0s (4.8%)

eval28.3s (4.4%)

prune26.7s (4.1%)

explain23.0s (3.5%)

analyze19.3s (3%)

preprocess14.0s (2.1%)

bsearch13.0s (2%)

start3.0ms (0%)

end0.0ms (0%)

Profiling