Metrics for Herbie run

Date:	Friday, January 10th, 2025
Commit:	4dfe4069 on main
Seed:	2025010
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:	628 939.1 MB

sample3.8min (37.4%)

Memory

1 906.7MiB live, 221 245.2MiB allocated; 1.0min collecting garbage

Samples

57.2s	119 829×	1	valid
54.7s	18 210×	5	exit
43.2s	281 375×	0	valid
17.9s	24 974×	2	valid
7.7s	3 105×	3	valid
6.1s	35 577×	0	exit
3.2s	12 198×	1	invalid
2.9s	19 757×	0	invalid
494.0ms	29×	4	valid
485.0ms	842×	2	invalid
56.0ms	49×	1	exit

Precisions

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

ival-pow: 45.8s (27% of total)

ival-mult: 18.5s (10.9% of total)

adjust: 15.6s (9.2% of total)

ival-cos: 11.8s (6.9% of total)

ival-div: 11.0s (6.5% of total)

ival-sin: 8.2s (4.8% of total)

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

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

ival-sub: 6.9s (4.1% of total)

ival-exp: 5.8s (3.4% of total)

ival-sinu: 5.5s (3.2% of total)

ival-log: 5.0s (2.9% of total)

ival-cosu: 4.7s (2.8% of total)

ival-sqrt: 3.7s (2.2% of total)

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

const: 1.8s (1.1% of total)

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

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

ival-log1p: 956.0ms (0.6% of total)

ival-<=: 836.0ms (0.5% of total)

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

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

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

exact: 389.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

Bogosity

simplify1.3min (13.1%)

Memory

859.2MiB live, 77 527.6MiB allocated; 19.6s collecting garbage

Stop Event

613×	iter limit
433×	node limit
19×	saturated
2×	unsound

Counts

24 395 → 24 241

localize1.2min (11.7%)

Memory

53.7MiB live, 76 337.2MiB allocated; 15.3s collecting garbage

Samples

28.1s	17 470×	1	valid
10.3s	833×	5	exit
10.0s	4 032×	2	valid
8.9s	26 733×	0	valid
1.4s	1 819×	0	invalid
1.2s	420×	3	valid
455.0ms	10×	4	exit
46.0ms	3×	3	exit
42.0ms	136×	0	exit

Compiler

Compiled 119 197 to 9 093 computations (92.4% saved)

Precisions

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

ival-mult: 9.4s (18.8% of total)

ival-sin: 8.3s (16.6% of total)

adjust: 6.6s (13.2% of total)

ival-cos: 5.1s (10.2% of total)

ival-div: 4.6s (9.1% of total)

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

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

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

ival-pow: 1.9s (3.8% of total)

const: 1.3s (2.5% of total)

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

ival-sinu: 824.0ms (1.6% of total)

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

ival-log: 757.0ms (1.5% of total)

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

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

ival-neg: 361.0ms (0.7% of total)

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

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

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

exact: 122.0ms (0.2% of total)

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

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

ival-log1p: 99.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

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

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

derivations42.8s (6.9%)

Memory

146.7MiB live, 31 430.1MiB allocated; 8.2s collecting garbage

Stop Event

509×	iter limit
246×	node limit
45×	fuel
21×	unsound
7×	done
2×	saturated

Compiler

Compiled 41 839 to 5 681 computations (86.4% saved)

regimes31.7s (5.1%)

Memory

384.6MiB live, 38 137.2MiB allocated; 7.0s collecting garbage

Counts

16 921 → 834

Calls

155 calls:

1.9s	phi2
1.8s	phi1
1.7s	lambda1
1.6s	lambda2
1.5s	a

Compiler

Compiled 18 329 to 14 666 computations (20% saved)

rewrite25.5s (4.1%)

Memory

-59.7MiB live, 24 556.6MiB allocated; 3.4s collecting garbage

Stop Event

592×	iter limit
165×	node limit
32×	unsound
4×	saturated

Counts

3 653 → 52 631

series25.3s (4.1%)

Memory

65.3MiB live, 28 396.2MiB allocated; 4.9s collecting garbage

Counts

3 653 → 24 395

Calls

1632 calls:

Time	Variable		Point	Expression
1.6s	t	@	0	((+ (* (* 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))))))) (* (* 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 (/ (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (sin t) (+ (* (* -1/5040 ew) (pow t 4)) (* ew (+ (* (* t t) 1/120) -1/6))) (+ (* (* 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))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (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)))))) (/ (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))))) (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (/ eh ew) (tan t)) (* (/ (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) (* ew (sin t)) (+ (* (pow t 3) (+ (* (* -1/5040 ew) (pow t 4)) (* ew (+ (* (* t t) 1/120) -1/6)))) (* t ew)) (cos (atan (/ (/ eh (tan t)) 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))))))
773.0ms	ew	@	0	((+ (* (* 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))))))) (* (* 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 (/ (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (sin t) (+ (* (* -1/5040 ew) (pow t 4)) (* ew (+ (* (* t t) 1/120) -1/6))) (+ (* (* 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))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (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)))))) (/ (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))))) (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (/ eh ew) (tan t)) (* (/ (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) (* ew (sin t)) (+ (* (pow t 3) (+ (* (* -1/5040 ew) (pow t 4)) (* ew (+ (* (* t t) 1/120) -1/6)))) (* t ew)) (cos (atan (/ (/ eh (tan t)) 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))))))
284.0ms	b	@	-inf	((log (+ (exp a) (exp b))) (+ (/ b (- (exp a) -1)) (log (+ 1 (exp a)))) (/ b (- (exp a) -1)) (- (exp a) -1) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (exp a) (log (+ (exp a) (exp b))) (+ (exp a) (exp b)) (log (+ (exp a) (exp b))) (+ (exp a) (exp b)) (exp b) (log (+ (exp a) (exp b))) (+ (exp a) (exp b)) (exp b) (+ (* 1/6 b) 1/2))
230.0ms	s	@	inf	((+ (* (* -1/2 s) c_n) (* c_n (- (log 1/2) (log (- 1 (/ 1 (+ (exp (neg t)) 1))))))) (log (- 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))) (exp (- (* (log (- 1 (pow (- (exp (neg s)) -1) -1))) c_n) (* (log (- 1 (pow (- (exp (neg t)) -1) -1))) c_n))) (* -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 (- (exp (neg s)) -1) (* -1 c_p)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (- (exp (neg s)) -1) (* -1 c_p)) (log (- 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)) (- (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 (/ 1 (+ (exp (neg s)) 1)))) (log (- 1 (/ 1 (+ (exp (neg t)) 1))))) c_n) 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)) 1))) c_n) (- 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))) (exp (- (* (log (- 1 (pow (- (exp (neg s)) -1) -1))) c_n) (* (log (- 1 (pow (- (exp (neg t)) -1) -1))) c_n))) (- (* (log (- 1 (pow (- (exp (neg s)) -1) -1))) c_n) (* (log (- 1 (pow (- (exp (neg t)) -1) -1))) c_n)) (- (log 1/2) (log (- 1 (/ 1 (+ (exp (neg t)) 1))))) (- (* (log (- 1 (pow (- (exp (neg s)) -1) -1))) c_n) (* (log (- 1 (pow (- (exp (neg t)) -1) -1))) c_n)) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (- (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (log 1/2)) (- (log (- 1 (/ 1 (+ (exp (neg s)) 1)))) (log (- 1 (/ 1 (+ (exp (neg t)) 1))))) (- 1 (/ 1 (+ (exp (neg s)) 1))) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n))
150.0ms	t	@	inf	((+ (* (* 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))))))) (* (* 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 (/ (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (cosh (asinh (/ (/ eh (tan t)) ew))))) (/ (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (cosh (asinh (/ (/ eh (tan t)) ew)))) (+ (* (sin t) ew) (* (/ (* (/ eh ew) eh) (tan t)) (cos t))) (sin t) (+ (* (* -1/5040 ew) (pow t 4)) (* ew (+ (* (* t t) 1/120) -1/6))) (+ (* (* 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))))))) (* (* ew (sin t)) (cos (atan (/ (/ eh ew) (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)))))) (/ (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))))) (* (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 2) ew) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ (/ eh ew) t) (/ (/ eh ew) (tan t)) (* (/ (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) (* ew (sin t)) (+ (* (pow t 3) (+ (* (* -1/5040 ew) (pow t 4)) (* ew (+ (* (* t t) 1/120) -1/6)))) (* t ew)) (cos (atan (/ (/ eh (tan t)) 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))))))

explain20.8s (3.4%)

Memory

-48.9MiB live, 23 649.9MiB allocated; 2.9s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1881	9
`+.f64`	`#f`	cancellation	1728	40
`sin.f64`	`#f`	sensitivity	1602	3
`sqrt.f64`	`#f`	oflow-rescue	1402	0
`-.f64`	`#f`	cancellation	932	11
`-.f64`	`#f`	nan-rescue	647	0
`log.f64`	`#f`	sensitivity	572	0
`/.f64`	`#f`	o/n	489	0
`/.f64`	`#f`	o/o	357	0
`/.f64`	`#f`	u/u	269	0
`*.f64`	`#f`	*no**	266	0
`/.f64`	`#f`	u/n	175	0
`exp.f64`	`#f`	sensitivity	163	25
`sqrt.f64`	`#f`	uflow-rescue	148	0
`/.f64`	`#f`	n/o	131	0
`cbrt.f64`	`#f`	oflow-rescue	92	0
`*.f64`	`#f`	*nu**	85	0
`cbrt.f64`	`#f`	uflow-rescue	54	0
`/.f64`	`#f`	n/u	47	0
`*.f64`	`#f`	*uo**	43	0
`*.f64`	`#f`	*ou**	40	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	21	2
`pow.f64`	`#f`	sensitivity	14	0
`pow.f64`	`#f`	uflow-rescue	8	0
`log.f64`	`#f`	oflow-rescue	6	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	1
`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	66
↳	`(exp.f64 b)`	underflow	58

Confusion

	Predicted +	Predicted -
+	5699	72
-	1389	6152

Precision

0.8040349887133182

Recall

0.9875238260266852

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5699	46	26
-	1389	22	6130

Precision?

0.8028228060368922

Recall?

0.9954947149540807

Freqs

test

number	freq
0	6224
1	4706
2	1546
3	338
4	266
5	142
6	58
7	20
8	9
9	2
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	0
-	4	0	6

Precision?

0.9130434782608695

Recall?

1.0

Samples

3.8s	7 778×	1	valid
2.3s	16 562×	0	valid
2.3s	1 966×	2	valid
564.0ms	318×	3	valid

Compiler

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

Precisions

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

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

ival-cos: 969.0ms (13.4% of total)

ival-mult: 892.0ms (12.4% of total)

adjust: 791.0ms (11% of total)

ival-div: 623.0ms (8.6% of total)

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

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

ival-sinu: 324.0ms (4.5% of total)

ival-cosu: 294.0ms (4.1% of total)

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

ival-sub: 258.0ms (3.6% of total)

ival-exp: 223.0ms (3.1% of total)

ival-log: 223.0ms (3.1% of total)

ival-hypot: 91.0ms (1.3% of total)

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

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

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

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

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

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

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

exact: 19.0ms (0.3% of total)

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

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

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

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

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

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

prune20.3s (3.3%)

Memory: -212.7MiB live, 31 272.5MiB allocated; 5.8s collecting garbage
Counts: 89 125 → 6 267
Compiler: Compiled 983 007 to 371 640 computations (62.2% saved)

eval20.0s (3.2%)

Memory: 414.9MiB live, 25 926.3MiB allocated; 5.2s collecting garbage
Compiler: Compiled 8 358 747 to 464 390 computations (94.4% saved)

analyze17.8s (2.9%)

Memory

316.3MiB live, 18 351.1MiB allocated; 5.4s 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)

bsearch15.4s (2.5%)

Memory

215.9MiB live, 16 934.3MiB allocated; 3.1s collecting garbage

Algorithm

274×	binary-search
93×	left-value

Stop Event

265×	narrow-enough
8×	predicate-same
1×	predicate-failed

Samples

4.5s	2 495×	5	exit
3.8s	5 499×	1	valid
3.2s	15 562×	0	valid
730.0ms	853×	2	valid
232.0ms	91×	3	valid
57.0ms	593×	0	invalid
1.0ms	25×	0	exit

Compiler

Compiled 248 679 to 133 905 computations (46.2% saved)

Precisions

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

ival-pow: 2.3s (21.1% of total)

adjust: 1.8s (16.4% of total)

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

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

ival-sin: 950.0ms (8.6% of total)

ival-div: 678.0ms (6.1% of total)

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

ival-sub: 536.0ms (4.8% of total)

ival-add: 334.0ms (3% of total)

ival-cosu: 292.0ms (2.6% of total)

ival-sinu: 265.0ms (2.4% of total)

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

ival-sqrt: 169.0ms (1.5% of total)

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

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

ival-acos: 95.0ms (0.9% of total)

ival-atan2: 84.0ms (0.8% of total)

ival-neg: 78.0ms (0.7% of total)

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

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

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

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

exact: 13.0ms (0.1% of total)

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

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

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

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

preprocess14.4s (2.3%)

Memory

436.8MiB live, 15 167.6MiB allocated; 2.5s collecting garbage

Stop Event

104×	iter limit
92×	node limit
12×	saturated

Compiler

Compiled 114 935 to 21 607 computations (81.2% saved)

start3.0ms (0%)

Memory: 6.9MiB live, 6.8MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample3.8min (37.4%)

simplify1.3min (13.1%)

localize1.2min (11.7%)

derivations42.8s (6.9%)

regimes31.7s (5.1%)

rewrite25.5s (4.1%)

series25.3s (4.1%)

explain20.8s (3.4%)

prune20.3s (3.3%)

eval20.0s (3.2%)

analyze17.8s (2.9%)

bsearch15.4s (2.5%)

preprocess14.4s (2.3%)

start3.0ms (0%)

end0.0ms (0%)

Profiling