Metrics for Herbie run

Date:	Saturday, December 28th, 2024
Commit:	e085da8f on no-big-exponents
Seed:	2024363
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:	691 355.9 MB

sample3.9min (35.4%)

Memory

1 097.3MiB live, 233 930.0MiB allocated; 1.1min collecting garbage

Samples

57.7s	120 265×	1	valid
55.3s	17 806×	5	exit
42.3s	280 873×	0	valid
17.7s	25 077×	2	valid
7.1s	3 073×	3	valid
6.8s	35 047×	0	exit
4.2s	19 605×	0	invalid
3.5s	12 166×	1	invalid
404.0ms	834×	2	invalid
398.0ms	24×	4	valid
28.0ms	44×	1	exit
1.0ms	1×	4	exit

Precisions

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

ival-pow: 45.4s (26.8% of total)

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

adjust: 16.6s (9.8% of total)

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

ival-cos: 10.9s (6.4% of total)

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

ival-pow2: 8.0s (4.7% of total)

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

ival-add: 6.3s (3.7% of total)

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

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

ival-cosu: 4.9s (2.9% of total)

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

ival-sqrt: 4.4s (2.6% of total)

const: 2.7s (1.6% of total)

ival-neg: 2.3s (1.3% of total)

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

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

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

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

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

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

exact: 396.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

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

Bogosity

localize1.3min (11.8%)

Memory

298.7MiB live, 85 506.6MiB allocated; 17.4s collecting garbage

Samples

27.9s	16 465×	1	valid
15.2s	5 343×	2	valid
10.7s	1 091×	5	exit
8.5s	26 307×	0	valid
1.2s	2 260×	0	invalid
768.0ms	328×	3	valid
387.0ms	91×	1	invalid
36.0ms	2×	4	exit
35.0ms	7×	4	valid
16.0ms	73×	0	exit
11.0ms	1×	3	exit

Compiler

Compiled 117 959 to 9 563 computations (91.9% saved)

Precisions

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

ival-sin: 10.9s (19.9% of total)

ival-mult: 9.6s (17.6% of total)

adjust: 6.6s (12% of total)

ival-cos: 6.1s (11.1% of total)

ival-div: 4.3s (7.9% of total)

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

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

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

ival-sub: 1.4s (2.6% of total)

ival-sinu: 1.3s (2.3% of total)

const: 1.3s (2.3% of total)

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

ival-log: 861.0ms (1.6% of total)

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

ival-cosu: 677.0ms (1.2% of total)

ival-log1p: 671.0ms (1.2% of total)

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

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

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

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

ival-expm1: 195.0ms (0.4% of total)

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

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

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

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

exact: 105.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

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

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

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

simplify1.3min (11.8%)

Memory

1 547.5MiB live, 77 401.5MiB allocated; 16.0s collecting garbage

Stop Event

609×	iter limit
404×	node limit
54×	saturated

Counts

24 003 → 23 853

derivations49.5s (7.5%)

Memory

204.3MiB live, 36 301.4MiB allocated; 6.1s collecting garbage

Stop Event

413×	iter limit
270×	node limit
45×	fuel
7×	done
4×	saturated
2×	unsound

Compiler

Compiled 46 213 to 6 019 computations (87% saved)

rewrite42.4s (6.5%)

Memory

986.6MiB live, 44 846.2MiB allocated; 7.4s collecting garbage

Stop Event

423×	iter limit
195×	node limit
4×	saturated
4×	unsound

Counts

3 720 → 87 682

regimes31.9s (4.9%)

Memory

-101.9MiB live, 38 392.5MiB allocated; 6.5s collecting garbage

Counts

18 261 → 875

Calls

155 calls:

1.8s	phi2
1.8s	phi1
1.7s	b
1.6s	a
1.6s	lambda1

Compiler

Compiled 18 357 to 15 350 computations (16.4% saved)

series28.4s (4.3%)

Memory

154.0MiB live, 33 895.3MiB allocated; 6.7s collecting garbage

Counts

3 720 → 24 003

Calls

1641 calls:

Time	Variable		Point	Expression
1.9s	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)) (+ (* (* 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)) (+ (* (* ew ew) (/ (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 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)))))) (/ (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 ew) (/ (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 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))))))) (* ew 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))) (/ (cos t) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ eh (* (tan t) ew)) (* (tan t) ew) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
745.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)) (+ (* (* 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)) (+ (* (* ew ew) (/ (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 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)))))) (/ (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 ew) (/ (pow (* (cos (atan (/ (/ eh (tan t)) ew))) (sin t)) 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))))))) (* ew 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))) (/ (cos t) ew) (cosh (asinh (/ (/ eh (tan t)) ew))) (cos (atan (/ (/ eh ew) (tan t)))) (/ (/ eh ew) (tan t)) (/ eh (* (tan t) ew)) (* (tan t) ew) (/ (+ (* (sin t) ew) (* (neg eh) (* (cos t) (/ (/ eh (tan t)) ew)))) (cosh (asinh (/ (/ eh (tan t)) ew)))))
502.0ms	b	@	inf	((- (/ (* b b) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c))))) (/ (* b b) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c)))))) (/ (- (- (/ (* b b) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c))))) (/ (* b b) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c)))))) (/ (* (* -4 a) c) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c)))))) (* 2 a)) (- (- (/ (* b b) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c))))) (/ (* b b) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c)))))) (/ (* (* -4 a) c) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c)))))) (/ (* b b) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c))))) (/ (+ (* b 0) (neg (* a (/ c b)))) a) (+ (* b 0) (neg (* a (/ c b)))) (+ (/ (/ (neg b) a) 2) (/ (sqrt (+ (* b b) (* (* -4 a) c))) (* 2 a))) (neg (* a (/ c b))) (+ (/ b (* -2 a)) (/ (sqrt (+ (* b b) (* (* -4 a) c))) (* 2 a))) (/ b (* -2 a)) (* -2 a) (/ (sqrt (+ (* b b) (* (* -4 a) c))) (* 2 a)) (- (+ (* (* 4 a) c) (* b b)) (* b b)) (/ (/ (- (+ (* (* 4 a) c) (* b b)) (* b b)) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c))))) (* 2 a)) (/ (- (+ (* (* 4 a) c) (* b b)) (* b b)) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c))))) (+ (* (* 4 a) c) (* b b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (- (* (neg c) (/ a (pow b 3))) (/ 1 b)) c) (* (- (/ (neg a) (pow b 3)) (/ (/ 1 b) c)) (* c c)) (- (/ (neg a) (pow b 3)) (/ (/ 1 b) c)) (/ (* (* -4 a) c) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c))))) (- (neg b) (sqrt (+ (* b b) (* (* -4 a) c)))) (* a (/ c b)) (sqrt (+ (* b b) (* (* -4 a) c))) (+ (* b b) (* (* -4 a) c)) (/ (/ 1 b) c) (/ (neg a) (pow b 3)))
172.0ms	c_n	@	-inf	((/ 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 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 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/2 c_p) (pow 1/2 c_n)) (+ (* 1/2 c_p) (* -1/2 c_n))) s) (* (pow 1/2 c_p) (pow 1/2 c_n))) (+ (* 1/2 c_p) (* -1/2 c_n)) (/ 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 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (exp (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t)))))))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (exp (log (+ 1 (neg (exp (neg (log (+ 1 (exp (neg t)))))))))) c_n)) (/ 1 (+ 1 (exp (neg s)))) (+ (* (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))))))))))))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg t))))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (log (+ 1 (exp (neg t)))) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (log (+ 1 (exp (neg s)))))
147.0ms	t	@	-inf	((+ (* (neg c_n) (log 1/2)) (+ (* (neg c_p) (log 2)) (+ (* (* (- c_n c_p) s) -1/2) (+ (* (log 1/2) c_n) (+ (* (+ (* (* c_n 1) 1/2) (* -1/2 c_p)) t) (* (log 2) c_p)))))) (+ (* (neg c_p) (log 2)) (+ (* (* (- c_n c_p) s) -1/2) (+ (* (log 1/2) c_n) (+ (* (+ (* (* c_n 1) 1/2) (* -1/2 c_p)) t) (* (log 2) c_p))))) (+ (* (* (- c_n c_p) s) -1/2) (+ (* (log 1/2) c_n) (+ (* (+ (* (* c_n 1) 1/2) (* -1/2 c_p)) t) (* (log 2) c_p)))) (* c_n 1) (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))))))))))))) (+ (+ (* (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 c_n) (log (- 1 (exp (neg (log (+ 1 (exp (neg t))))))))) (+ (* (neg c_p) (log 2)) (+ (* (log 1/2) c_n) (+ (* (log (+ 1 (exp (neg t)))) c_p) (* (* -1/2 (- (* c_n 1) c_p)) s))))) (* (* (- c_n c_p) s) -1/2) (/ 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)) 1))) c_n) (+ (* (* (* (pow 1/2 c_p) t) c_p) 1/2) (pow 1/2 c_p)) (/ 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)) (* (+ (+ (* -1/2 s) (neg (log (- 1 (exp (neg (log (+ 1 (exp (neg t)))))))))) (log 1/2)) c_n) (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))))))))))))) (+ (+ (* (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 c_n) (log (- 1 (exp (neg (log (+ 1 (exp (neg t))))))))) (+ (* (neg c_p) (log 2)) (+ (* (log 1/2) c_n) (+ (* (log (+ 1 (exp (neg t)))) c_p) (* (* -1/2 (- (* c_n 1) c_p)) s))))) (+ (* (neg c_n) (log (- 1 (exp (neg (log (+ 1 (exp (neg t))))))))) (+ (* (neg c_p) (log 2)) (+ (* (log 1/2) c_n) (+ (* (log (+ 1 (exp (neg t)))) c_p) (* (* -1/2 (- (* c_n 1) c_p)) s))))) (+ (+ (* (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)))))))))))) (* (- c_n c_p) s) (- 1 (/ 1 (+ (exp (neg t)) 1))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (+ (+ (* -1/2 s) (neg (log (- 1 (exp (neg (log (+ 1 (exp (neg t)))))))))) (log 1/2)) (log (+ 1 (exp (neg t)))))

eval26.1s (4%)

Memory: 267.2MiB live, 34 143.7MiB allocated; 7.4s collecting garbage
Compiler: Compiled 9 742 968 to 606 946 computations (93.8% saved)

explain24.2s (3.7%)

Memory

-371.4MiB live, 27 769.9MiB allocated; 8.6s collecting garbage

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`cos.f64`	`#f`	sensitivity	1848	3
`+.f64`	`#f`	cancellation	1691	36
`sin.f64`	`#f`	sensitivity	1618	0
`sqrt.f64`	`#f`	oflow-rescue	1360	0
`-.f64`	`#f`	cancellation	924	10
`-.f64`	`#f`	nan-rescue	625	0
`log.f64`	`#f`	sensitivity	604	1
`/.f64`	`#f`	o/n	509	0
`/.f64`	`#f`	o/o	406	0
`/.f64`	`#f`	u/u	280	0
`*.f64`	`#f`	*no**	260	0
`exp.f64`	`#f`	sensitivity	174	23
`/.f64`	`#f`	u/n	139	0
`sqrt.f64`	`#f`	uflow-rescue	139	0
`/.f64`	`#f`	n/o	121	0
`cbrt.f64`	`#f`	oflow-rescue	94	0
`*.f64`	`#f`	*nu**	72	0
`cbrt.f64`	`#f`	uflow-rescue	41	0
`/.f64`	`#f`	n/u	33	0
`*.f64`	`#f`	*ou**	33	0
`*.f64`	`#f`	*uo**	30	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	2
`pow.f64`	`#f`	uflow-rescue	17	0
`pow.f64`	`#f`	sensitivity	12	0
`log.f64`	`#f`	oflow-rescue	10	0
`log.f64`	`(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))`	uflow-rescue	3	0
↳	`(+.f64 (exp.f64 a) (exp.f64 b))`	underflow	3
↳	`(exp.f64 a)`	underflow	62
↳	`(exp.f64 b)`	underflow	72
`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

Confusion

	Predicted +	Predicted -
+	5725	68
-	1278	6241

Precision

0.8175067828073682

Recall

0.9882616951493182

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	5725	40	28
-	1278	24	6217

Precision?

0.815763407386444

Recall?

0.9951665803556016

Freqs

test

number	freq
0	6309
1	4612
2	1575
3	336
4	244
5	138
6	68
7	24
8	3
9	2
10	1

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	42	0	1
-	2	0	7

Precision?

0.9545454545454546

Recall?

0.9767441860465116

Samples

6.1s	7 492×	1	valid
2.9s	16 628×	0	valid
2.3s	2 190×	2	valid
658.0ms	310×	3	valid
15.0ms	4×	4	valid

Compiler

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

Precisions

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

adjust: 1.8s (18% of total)

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

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

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

ival-log: 779.0ms (7.9% of total)

ival-div: 554.0ms (5.6% of total)

ival-pow2: 528.0ms (5.4% of total)

ival-acos: 441.0ms (4.5% of total)

ival-sinu: 430.0ms (4.4% of total)

ival-add: 408.0ms (4.1% of total)

ival-cosu: 357.0ms (3.6% of total)

ival-sub: 294.0ms (3% of total)

ival-exp: 276.0ms (2.8% of total)

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

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

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

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

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

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

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

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

exact: 21.0ms (0.2% of total)

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

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

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

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

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

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

prune23.8s (3.6%)

Memory: -443.2MiB live, 35 635.8MiB allocated; 4.8s collecting garbage
Counts: 121 518 → 6 693
Compiler: Compiled 1 059 034 to 405 160 computations (61.7% saved)

analyze19.3s (2.9%)

Memory

130.9MiB live, 20 496.7MiB allocated; 7.3s 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)

preprocess12.9s (2%)

Memory

-128.8MiB live, 13 161.4MiB allocated; 3.4s collecting garbage

Stop Event

104×	iter limit
64×	node limit
40×	saturated

Compiler

Compiled 123 511 to 22 373 computations (81.9% saved)

bsearch10.1s (1.5%)

Memory

-108.2MiB live, 9 869.3MiB allocated; 1.6s collecting garbage

Algorithm

284×	binary-search
101×	left-value

Stop Event

269×	narrow-enough
15×	predicate-same

Samples

4.2s	5 569×	1	valid
2.8s	15 127×	0	valid
528.0ms	616×	2	valid
46.0ms	555×	0	invalid
27.0ms	16×	3	valid

Compiler

Compiled 253 258 to 138 966 computations (45.1% saved)

Precisions

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

ival-cos: 1.4s (21.3% of total)

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

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

adjust: 523.0ms (8.1% of total)

ival-pow2: 462.0ms (7.1% of total)

ival-div: 332.0ms (5.1% of total)

ival-cosu: 279.0ms (4.3% of total)

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

ival-sub: 242.0ms (3.7% of total)

ival-add: 160.0ms (2.5% of total)

ival-atan2: 101.0ms (1.6% of total)

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

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

ival-neg: 67.0ms (1% of total)

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

ival-tan: 57.0ms (0.9% of total)

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

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

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

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

exact: 11.0ms (0.2% of total)

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

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

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

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

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

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

start2.0ms (0%)

Memory: 5.1MiB live, 5.0MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

sample3.9min (35.4%)

localize1.3min (11.8%)

simplify1.3min (11.8%)

derivations49.5s (7.5%)

rewrite42.4s (6.5%)

regimes31.9s (4.9%)

series28.4s (4.3%)

eval26.1s (4%)

explain24.2s (3.7%)

prune23.8s (3.6%)

analyze19.3s (2.9%)

preprocess12.9s (2%)

bsearch10.1s (1.5%)

start2.0ms (0%)

end0.0ms (0%)

Profiling