Metrics for Herbie run

Date:	Thursday, October 3rd, 2024
Commit:	6e4f2b10 on rival-256-starting-prec
Hostname:	nightly with Racket 8.10
Seed:	2024277
Parameters:	256 points for 4 iterations
Flags:	`localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs` default

end1.6min (17.3%)

Memory: 10.5MiB live, 48 290.2MiB allocated

sample1.4min (15.5%)

Memory

127.4MiB live, 109 120.9MiB allocated

Samples

57.7s	252 386×	0	valid
2.2s	11 247×	0	invalid
1.4s	3 550×	1	valid
362.0ms	1 574×	1	exit
185.0ms	434×	1	invalid

Precisions

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

ival-mult: 10.3s (20.4% of total)

const: 7.1s (14.2% of total)

ival-<=: 6.3s (12.6% of total)

ival-div: 4.0s (8% of total)

ival-add: 2.4s (4.8% of total)

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

ival-sub: 2.0s (4% of total)

ival-sqrt: 1.6s (3.1% of total)

ival-fabs: 1.5s (3% of total)

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

ival-and: 1.3s (2.5% of total)

ival-exp: 1.1s (2.2% of total)

ival-pow: 905.0ms (1.8% of total)

ival-cosu: 843.0ms (1.7% of total)

ival-floor: 751.0ms (1.5% of total)

ival-sinu: 739.0ms (1.5% of total)

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

ival-cos: 499.0ms (1% of total)

ival-log2: 474.0ms (0.9% of total)

exact: 466.0ms (0.9% of total)

ival-e: 398.0ms (0.8% of total)

ival-pi: 379.0ms (0.8% of total)

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

ival-fmax: 303.0ms (0.6% of total)

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

ival-sinh: 286.0ms (0.6% of total)

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

ival-if: 266.0ms (0.5% of total)

ival-asin: 229.0ms (0.5% of total)

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

ival->: 185.0ms (0.4% of total)

adjust: 133.0ms (0.3% of total)

ival-==: 129.0ms (0.3% of total)

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

ival->=: 62.0ms (0.1% of total)

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

Bogosity

eval1.2min (13.6%)

Memory: 430.7MiB live, 121 878.6MiB allocated
Compiler: Compiled 43 226 321 to 655 216 computations (98.5% saved)

simplify54.4s (10%)

Memory

668.2MiB live, 58 552.1MiB allocated

Algorithm

277×	egg-herbie

Stop Event

372×	iter limit
206×	node limit
68×	saturated
3×	unsound

Counts

63 432 → 63 164

regimes48.6s (9%)

Memory

165.9MiB live, 70 725.6MiB allocated

Counts

21 932 → 410

Calls

152 calls:

3.2s	s
1.2s	x
1.1s	u
1.1s	r
1.1s	dY.v

Compiler

Compiled 22 568 to 16 443 computations (27.1% saved)

soundness39.7s (7.3%)

Memory

62.8MiB live, 28 702.7MiB allocated

Stop Event

283×	iter limit
190×	node limit
30×	fuel
1×	done

Compiler

Compiled 43 155 to 15 268 computations (64.6% saved)

prune31.0s (5.7%)

Memory: -17.3MiB live, 59 220.7MiB allocated
Counts: 268 390 → 7 564
Compiler: Compiled 778 607 to 293 753 computations (62.3% saved)

rewrite29.9s (5.5%)

Memory

303.9MiB live, 35 578.0MiB allocated

Stop Event

255×	iter limit
120×	node limit
3×	unsound

Counts

2 338 → 89 164

localize25.0s (4.6%)

Memory

114.8MiB live, 35 867.3MiB allocated

Samples

14.6s	29 132×	0	valid
882.0ms	1 408×	0	invalid
417.0ms	425×	1	valid
315.0ms	93×	5	exit
286.0ms	197×	1	exit
70.0ms	231×	0	exit
4.0ms	2×	2	valid

Compiler

Compiled 268 276 to 11 728 computations (95.6% saved)

Precisions

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

ival-mult: 3.8s (29.5% of total)

ival-div: 1.8s (14.2% of total)

ival-add: 966.0ms (7.5% of total)

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

ival-pow: 603.0ms (4.7% of total)

ival-sub: 565.0ms (4.4% of total)

ival-atan: 489.0ms (3.8% of total)

ival-log: 487.0ms (3.8% of total)

ival-sqrt: 436.0ms (3.4% of total)

ival-exp: 385.0ms (3% of total)

const: 341.0ms (2.6% of total)

ival-sin: 256.0ms (2% of total)

ival-cos: 229.0ms (1.8% of total)

ival-log1p: 213.0ms (1.7% of total)

ival-neg: 178.0ms (1.4% of total)

adjust: 162.0ms (1.3% of total)

ival-log2: 128.0ms (1% of total)

ival-fmax: 126.0ms (1% of total)

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

ival-sinu: 115.0ms (0.9% of total)

ival-if: 95.0ms (0.7% of total)

ival-cosu: 92.0ms (0.7% of total)

ival-floor: 88.0ms (0.7% of total)

ival-e: 66.0ms (0.5% of total)

exact: 60.0ms (0.5% of total)

ival-pi: 59.0ms (0.5% of total)

ival-fabs: 49.0ms (0.4% of total)

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

ival-asin: 40.0ms (0.3% of total)

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

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

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

ival->=: 17.0ms (0.1% of total)

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

ival->: 13.0ms (0.1% of total)

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

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

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

analyze22.0s (4.1%)

Memory

427.7MiB live, 32 859.2MiB allocated

Algorithm

31×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	5.8%	94.2%	0%	0%	0%	0
0%	0%	5.8%	94.2%	0%	0%	0%	1
3.4%	0.2%	5.6%	94.2%	0%	0%	0%	2
3.8%	0.2%	5.6%	94.2%	0%	0%	0%	3
19.6%	1.1%	4.6%	94.2%	0%	0%	0%	4
34.7%	2%	3.8%	94.2%	0%	0%	0%	5
36.7%	2.1%	3.6%	94.2%	0%	0.1%	0%	6
51.6%	2.7%	2.6%	94.2%	0%	0.5%	0%	7
52.5%	2.8%	2.5%	94.2%	0%	0.5%	0%	8
62.7%	3.3%	2%	94.2%	0%	0.5%	0%	9
68.7%	3.6%	1.6%	94.2%	0%	0.5%	0%	10
71.3%	3.7%	1.5%	94.2%	0%	0.6%	0%	11
74.2%	3.8%	1.3%	94.2%	0%	0.6%	0%	12

Compiler

Compiled 2 600 to 1 074 computations (58.7% saved)

series21.5s (4%)

Memory

-643.8MiB live, 29 745.4MiB allocated

Counts

2 338 → 63 432

Calls

1281 calls:

Time	Variable		Point	Expression
432.0ms	u1	@	0	((* (/ (- u1 1) u1) (/ (- u1 1) u1)) (* (pow (* (/ (- u1 1) u1) (/ (- u1 1) u1)) -1/4) (cos (* 314159265359/50000000000 u2))) (pow (* (/ (- u1 1) u1) (/ (- u1 1) u1)) -1/4) (/ (- u1 1) u1) (* (sqrt (/ u1 (- 1 u1))) (cos (* 314159265359/50000000000 u2))) (sqrt (/ u1 (- 1 u1))) (/ u1 (- 1 u1)) (- 1 u1) (* (sqrt u1) (/ (cos (* u2 314159265359/50000000000)) (sqrt (- 1 u1)))) (sqrt u1) (/ (cos (* u2 314159265359/50000000000)) (sqrt (- 1 u1))) (cos (* u2 314159265359/50000000000)) (/ (* u1 (+ (* u1 u1) 1)) (* (+ (* u1 u1) 1) (- 1 u1))) (* (sqrt (/ (* u1 (+ (* u1 u1) 1)) (* (+ (* u1 u1) 1) (- 1 u1)))) (cos (* 314159265359/50000000000 u2))) (sqrt (/ (* u1 (+ (* u1 u1) 1)) (* (+ (* u1 u1) 1) (- 1 u1)))) (+ (* u1 u1) 1) (* (* (pow (/ 1 u1) -1/2) (pow (- 1 u1) -1/2)) (cos (* 314159265359/50000000000 u2))) (* (pow (/ 1 u1) -1/2) (pow (- 1 u1) -1/2)) (pow (/ 1 u1) -1/2) (/ 1 u1) (* 314159265359/50000000000 u2) (* u2 314159265359/50000000000) (sqrt (- 1 u1)) (* (+ (* u1 u1) 1) (- 1 u1)))
387.0ms	u	@	0	((* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (/ 1 (/ (+ (pow (+ (exp (/ (PI) s)) 1) -3) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 3)) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))))) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))) (* (neg s) (log (- (/ 1 (/ (+ (pow (+ (exp (/ (PI) s)) 1) -3) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 3)) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))))) 1))) (* (/ 1 (/ -1 s)) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (* (PI) (+ (* 2 u) -1)) (PI) (+ (* 2 u) -1) (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) (+ (* (* (PI) (+ (* -1/2 u) 1/4)) -4) (* (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) -1/2)) (* (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) -4) (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) -4)) (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) (+ (* (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (neg (neg (PI))))) -4)) (log (+ 1 (exp (/ (neg (PI)) s)))) (log (+ 1 (exp (/ (PI) s)))) (exp (/ (neg (PI)) s)) (+ (* -1/2 u) 1/4) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)))
271.0ms	s	@	0	((* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (/ 1 (/ (+ (pow (+ (exp (/ (PI) s)) 1) -3) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 3)) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))))) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))) (* (neg s) (log (- (/ 1 (/ (+ (pow (+ (exp (/ (PI) s)) 1) -3) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 3)) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))))) 1))) (* (/ 1 (/ -1 s)) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (* (PI) (+ (* 2 u) -1)) (PI) (+ (* 2 u) -1) (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) (+ (* (* (PI) (+ (* -1/2 u) 1/4)) -4) (* (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) -1/2)) (* (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) -4) (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) -4)) (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) (+ (* (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (neg (neg (PI))))) -4)) (log (+ 1 (exp (/ (neg (PI)) s)))) (log (+ 1 (exp (/ (PI) s)))) (exp (/ (neg (PI)) s)) (+ (* -1/2 u) 1/4) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)))
193.0ms	s	@	inf	((* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (/ 1 (/ (+ (pow (+ (exp (/ (PI) s)) 1) -3) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 3)) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))))) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))) (* (neg s) (log (- (/ 1 (/ (+ (pow (+ (exp (/ (PI) s)) 1) -3) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 3)) (+ (pow (+ (exp (/ (PI) s)) 1) -2) (- (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (/ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (+ (exp (/ (PI) s)) 1)))))) 1))) (* (/ 1 (/ -1 s)) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (* (PI) (+ (* 2 u) -1)) (PI) (+ (* 2 u) -1) (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) (+ (* (* (PI) (+ (* -1/2 u) 1/4)) -4) (* (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) -1/2)) (* (/ (* (pow (* (PI) (+ (* -1/2 u) 1/4)) 2) 0) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) -4) (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) -4)) (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) (+ (* (/ (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)) s) -1/2) (* (+ (* (* u (PI)) -1/2) (* 1/4 (neg (neg (PI))))) -4)) (log (+ 1 (exp (/ (neg (PI)) s)))) (log (+ 1 (exp (/ (PI) s)))) (exp (/ (neg (PI)) s)) (+ (* -1/2 u) 1/4) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* 16 (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2)) (* (pow (+ (* (* u (PI)) -1/2) (* 1/4 (PI))) 2) -16)))
193.0ms	v	@	0	((+ 1 (* v (log (+ u (* (- 1 u) (pow (E) (/ -2 v))))))) (+ u (* (- 1 u) (pow (E) (/ -2 v)))) (pow (E) (/ -2 v)) (* v (log (+ u (* (- 1 u) (pow (E) (/ -2 v)))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (* (/ (- 1 u) v) -2) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ u (* (- 1 u) (exp (/ -2 v)))) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ (* v (log (+ (* (- 1 u) (exp (/ -2 v))) u))) 1) (log (+ (* (- 1 u) (exp (/ -2 v))) u)) (+ (* (- 1 u) (exp (/ -2 v))) u) (- 1 u) (log (+ u (* (- 1 u) (pow (E) (/ -2 v))))) (/ (- 1 u) v) (exp (/ -2 v)) (/ 4/3 v) (/ (- 2 (/ 4/3 v)) v) (exp (/ -2 v)))

explain9.3s (1.7%)

Memory

-323.8MiB live, 12 847.8MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1021	65
`-.f32`	`#f`	cancellation	407	14
`sqrt.f32`	`#f`	oflow-rescue	338	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	sensitivity	194	1
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	189	14
`cos.f32`	`#f`	sensitivity	187	11
`/.f32`	`#f`	o/n	134	0
`-.f64`	`(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))`	cancellation	44	0
`exp.f32`	`#f`	sensitivity	39	20
`/.f32`	`#f`	u/n	18	0
`sqrt.f32`	`(sqrt.f32 (-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))`	uflow-rescue	18	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	304
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	18
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	152
↳	`(*.f32 eta eta)`	underflow	18
`*.f64`	`(.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))`	*nu**	14	0
`/.f32`	`#f`	n/o	13	0
`/.f32`	`#f`	o/o	12	0
`sin.f32`	`#f`	cancellation	4	2
`*.f32`	`(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))`	*nu**	1	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	oflow-rescue	1	0
↳	`(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)`	overflow	1
↳	`(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))`	overflow	1
↳	`(pow.f64 (E.f64) x)`	overflow	1
↳	`(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))`	overflow	1

Confusion

	Predicted +	Predicted -
+	1827	47
-	447	5615

Precision

0.8034300791556728

Recall

0.9749199573105657

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1827	19	28
-	447	92	5523

Precision?

0.7740041928721174

Recall?

0.9850586979722519

Freqs

test

number	freq
0	5662
1	1926
2	336
3	12

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	20	1	1
-	8	0	1

Precision?

0.7241379310344828

Recall?

0.9545454545454546

Samples

2.6s	15 582×	0	valid
454.0ms	288×	1	valid
1.0ms	2×	5	exit

Compiler

Compiled 23 833 to 2 304 computations (90.3% saved)

Precisions

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

ival-mult: 828.0ms (36.8% of total)

ival-add: 219.0ms (9.7% of total)

ival-div: 217.0ms (9.7% of total)

ival-log: 117.0ms (5.2% of total)

ival-sub: 103.0ms (4.6% of total)

ival-sin: 81.0ms (3.6% of total)

ival-sqrt: 70.0ms (3.1% of total)

ival-sinu: 64.0ms (2.8% of total)

ival-pow: 62.0ms (2.8% of total)

ival-e: 56.0ms (2.5% of total)

ival-exp: 55.0ms (2.4% of total)

ival-pi: 48.0ms (2.1% of total)

ival-floor: 40.0ms (1.8% of total)

const: 28.0ms (1.2% of total)

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

ival-neg: 28.0ms (1.2% of total)

ival-cos: 26.0ms (1.2% of total)

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

ival-log2: 20.0ms (0.9% of total)

ival-fmax: 17.0ms (0.8% of total)

ival-if: 17.0ms (0.8% of total)

ival-true: 16.0ms (0.7% of total)

exact: 15.0ms (0.7% of total)

ival-asin: 13.0ms (0.6% of total)

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

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

ival-fabs: 8.0ms (0.4% of total)

adjust: 7.0ms (0.3% of total)

ival-assert: 7.0ms (0.3% of total)

ival-sinh: 6.0ms (0.3% of total)

ival->=: 3.0ms (0.1% of total)

ival->: 3.0ms (0.1% of total)

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

preprocess8.8s (1.6%)

Memory

463.7MiB live, 10 232.4MiB allocated

Algorithm

31×	egg-herbie

Stop Event

62×	iter limit
33×	saturated
29×	node limit

Compiler

Compiled 60 190 to 19 139 computations (68.2% saved)

bsearch509.0ms (0.1%)

Memory

-47.0MiB live, 802.1MiB allocated

Algorithm

67×	left-value
47×	binary-search

Stop Event

46×	narrow-enough
1×	predicate-same

Samples

138.0ms	456×	1	valid
128.0ms	696×	0	valid
16.0ms	166×	0	invalid

Compiler

Compiled 5 515 to 3 946 computations (28.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 221.0ms

ival-pow: 123.0ms (55.7% of total)

ival-e: 36.0ms (16.3% of total)

ival-mult: 21.0ms (9.5% of total)

ival-log1p: 19.0ms (8.6% of total)

ival-sub: 10.0ms (4.5% of total)

adjust: 9.0ms (4.1% of total)

ival-assert: 1.0ms (0.5% of total)

ival-true: 1.0ms (0.5% of total)

exact: 1.0ms (0.5% of total)

start3.0ms (0%)

Memory: 6.7MiB live, 6.7MiB allocated

end1.6min (17.3%)

sample1.4min (15.5%)

eval1.2min (13.6%)

simplify54.4s (10%)

regimes48.6s (9%)

soundness39.7s (7.3%)

prune31.0s (5.7%)

rewrite29.9s (5.5%)

localize25.0s (4.6%)

analyze22.0s (4.1%)

series21.5s (4%)

explain9.3s (1.7%)

preprocess8.8s (1.6%)

bsearch509.0ms (0.1%)

start3.0ms (0%)

Profiling