Metrics for Herbie run

Date:	Friday, October 11th, 2024
Commit:	a1f6a1f9 on main
Hostname:	nightly with Racket 8.10
Seed:	2024285
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

sample1.4min (21.8%)

Memory

549.0MiB live, 101 556.5MiB allocated

Samples

57.1s	262 452×	0	valid
1.9s	7 735×	1	valid
1.9s	11 136×	0	invalid
648.0ms	2 260×	2	valid
534.0ms	668×	1	invalid
288.0ms	1 621×	1	exit
0.0ms	1×	3	valid

Precisions

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

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

const: 7.9s (15.8% of total)

ival-<=: 6.8s (13.5% of total)

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

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

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

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

ival-fabs: 1.6s (3.2% of total)

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

ival-and: 1.2s (2.4% of total)

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

ival-pow: 1.0s (2.1% of total)

ival-floor: 935.0ms (1.9% of total)

ival-exp: 770.0ms (1.5% of total)

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

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

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

ival-cosu: 494.0ms (1% of total)

exact: 476.0ms (0.9% of total)

ival-pow2: 420.0ms (0.8% of total)

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

adjust: 376.0ms (0.7% of total)

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

ival-if: 304.0ms (0.6% of total)

ival-e: 302.0ms (0.6% of total)

ival-pi: 279.0ms (0.6% of total)

ival-log2: 238.0ms (0.5% of total)

ival-<: 211.0ms (0.4% of total)

ival->: 169.0ms (0.3% of total)

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

ival-log1p: 128.0ms (0.3% of total)

ival-==: 122.0ms (0.2% of total)

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

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

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

ival->=: 91.0ms (0.2% of total)

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

Bogosity

simplify49.5s (12.6%)

Memory

468.0MiB live, 48 240.0MiB allocated

Algorithm

297×	egg-herbie

Stop Event

401×	iter limit
218×	node limit
74×	saturated
5×	unsound

Counts

14 259 → 14 177

regimes43.8s (11.2%)

Memory

176.9MiB live, 55 920.4MiB allocated

Counts

19 563 → 408

Calls

160 calls:

2.2s	s
1.3s	r
1.0s	u
1.0s	x
928.0ms	(floor.f32 h)

Compiler

Compiled 25 997 to 16 258 computations (37.5% saved)

soundness38.4s (9.8%)

Memory

159.8MiB live, 26 435.9MiB allocated

Stop Event

279×	iter limit
184×	node limit
32×	fuel
2×	unsound
1×	done

Compiler

Compiled 81 689 to 21 502 computations (73.7% saved)

eval35.3s (9%)

Memory: 7.9MiB live, 51 334.9MiB allocated
Compiler: Compiled 23 017 678 to 573 461 computations (97.5% saved)

rewrite29.4s (7.5%)

Memory

-266.5MiB live, 33 251.7MiB allocated

Stop Event

275×	iter limit
126×	node limit
6×	unsound

Counts

2 481 → 87 006

localize26.3s (6.7%)

Memory

327.5MiB live, 35 421.7MiB allocated

Samples

13.0s	29 161×	0	valid
1.6s	1 556×	1	valid
1.2s	1 800×	0	invalid
916.0ms	436×	5	exit
400.0ms	298×	2	valid
339.0ms	410×	1	exit
112.0ms	110×	2	exit
6.0ms	5×	3	valid
4.0ms	16×	0	exit

Compiler

Compiled 291 528 to 14 049 computations (95.2% saved)

Precisions

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

ival-mult: 4.1s (30.4% of total)

ival-div: 2.2s (16.4% of total)

ival-add: 1.1s (8.1% of total)

ival-sqrt: 627.0ms (4.6% of total)

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

adjust: 560.0ms (4.1% of total)

ival-pow2: 558.0ms (4.1% of total)

ival-pow: 515.0ms (3.8% of total)

ival-log: 380.0ms (2.8% of total)

ival-sin: 340.0ms (2.5% of total)

ival-exp: 287.0ms (2.1% of total)

ival-neg: 255.0ms (1.9% of total)

ival-cosu: 243.0ms (1.8% of total)

const: 205.0ms (1.5% of total)

ival-floor: 171.0ms (1.3% of total)

ival-sinu: 147.0ms (1.1% of total)

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

ival-cos: 127.0ms (0.9% of total)

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

ival-expm1: 113.0ms (0.8% of total)

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

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

ival-if: 87.0ms (0.6% of total)

ival-fabs: 67.0ms (0.5% of total)

exact: 67.0ms (0.5% of total)

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

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

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

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

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

ival->: 27.0ms (0.2% of total)

ival->=: 22.0ms (0.2% of total)

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

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

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

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

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

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

prune24.3s (6.2%)

Memory: -710.5MiB live, 33 866.9MiB allocated
Counts: 137 218 → 7 632
Compiler: Compiled 1 160 899 to 411 140 computations (64.6% saved)

analyze22.5s (5.7%)

Memory

61.8MiB live, 28 585.1MiB allocated

Algorithm

33×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	11.5%	88.5%	0%	0%	0%	0
52.8%	6.1%	5.4%	88.5%	0%	0%	0%	1
54.4%	6.2%	5.2%	88.5%	0%	0%	0%	2
54.5%	6.3%	5.2%	88.5%	0%	0%	0%	3
55.4%	6.4%	5.1%	88.5%	0%	0%	0%	4
62.6%	7.2%	4.3%	88.5%	0%	0%	0%	5
66.9%	7.6%	3.8%	88.5%	0%	0.1%	0%	6
76.4%	8.4%	2.6%	88.5%	0%	0.4%	0%	7
76.8%	8.5%	2.6%	88.5%	0%	0.4%	0%	8
81.4%	9%	2%	88.5%	0%	0.4%	0%	9
85.1%	9.3%	1.6%	88.5%	0%	0.5%	0%	10
86.3%	9.4%	1.5%	88.5%	0%	0.5%	0%	11
87.3%	9.5%	1.4%	88.5%	0%	0.6%	0%	12

Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

series17.2s (4.4%)

Memory

252.9MiB live, 22 852.6MiB allocated

Counts

2 481 → 14 259

Calls

1452 calls:

Time	Variable		Point	Expression
220.0ms	s	@	0	((* (* 3 s) (neg (log (neg (- (* u 4/3) 4/3))))) (neg (- (* u 4/3) 4/3)) (- (* u 4/3) 4/3) (* 3 s) (* (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) 3) s) (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) 3) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (+ (* (+ (* 1/2 u) 1) u) (log 3/4)) (* (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) s) 3) (* (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (* (* (neg (log (+ 1 (* 4/3 (- u 1/4))))) s) 3) (* 4/3 (- u 1/4)) (* (neg (log (+ 1 (* 4/3 (- u 1/4))))) s) (neg (log (+ 1 (* 4/3 (- u 1/4))))) (* (+ (* (pow u 3) 27/64) 27/64) (/ 1 (+ (* (* u 9/16) u) (- 9/16 (* u 9/16))))) (+ (* (* u 9/16) u) (- 9/16 (* u 9/16))) (/ 1 (+ (* (* u 9/16) u) (- 9/16 (* u 9/16)))) (- 9/16 (* u 9/16)) (log (neg (- (* u 4/3) 4/3))) (* u 4/3) (+ (* 3/4 u) 3/4) (log (+ 1 (* 4/3 (- u 1/4)))) (+ (* (pow u 3) 27/64) 27/64) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))))
214.0ms	dX.u	@	0	((* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (* (pow (floor d) 2) dY.w) dY.w) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.u (floor w)) 2))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.u (floor w)) 2)))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.u (floor w)) 2))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* (floor d) dY.w) (* (floor d) dY.w)) (+ (* (* dX.w (floor d)) (* dX.w (floor d))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (log2 (sqrt (fmax (+ (* (* dX.w (floor d)) (* dX.w (floor d))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (pow (* dY.u (floor w)) 2) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (exp (+ (* (log (floor w)) 2) (* (log dX.u) 2))) (+ (* (log (floor w)) 2) (* (log dX.u) 2)) (+ (* (* dY.v (floor h)) (pow (* dY.v (floor h)) 3)) (neg (pow (* dY.u (floor w)) 4))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2) (sqrt (fmax (+ (* (* dX.w (floor d)) (* dX.w (floor d))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (pow (* dY.u (floor w)) 2) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (+ (* (* dY.v dY.v) (pow (floor h) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2))) (sqrt (fmax (+ (+ (exp (+ (* (log (floor w)) 2) (* (log dX.u) 2))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (* dY.v dY.v) (pow (floor h) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2))))) (+ (* (+ (* (* dY.v (floor h)) (pow (* dY.v (floor h)) 3)) (neg (pow (* dY.u (floor w)) 4))) (/ 1 (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (pow (* dY.w (floor d)) 2)) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (+ (* (* dY.v (floor h)) (pow (* dY.v (floor h)) 3)) (neg (pow (* dY.u (floor w)) 4))) (/ 1 (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (pow (* dY.w (floor d)) 2)))) (/ 1 (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))
192.0ms	x	@	-inf	((* c (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))))) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1)))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (* (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) c) (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) (* y x) (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) y) (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) (+ (* (* x x) (* c (+ (* (* 1/24 (+ (* (pow y 4) -6) (+ (* (* y y) -7) (+ (* 12 (pow y 3)) y)))) x) (* (+ (* (* y y) (+ (* 2 y) -3)) y) 1/6)))) (* c (+ (* (* 1/2 x) (- y (* y y))) y))) (+ (* -1/4 (* x y)) (+ (* 1/2 x) 1/3)) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (+ (* (* x x) (* c (+ (* (* 1/24 (+ (* (pow y 4) -6) (+ (* (* y y) -7) (+ (* 12 (pow y 3)) y)))) x) (* (+ (* (* y y) (+ (* 2 y) -3)) y) 1/6)))) (* c (+ (* (* 1/2 x) (- y (* y y))) y))) x) (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) y) (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))) (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1)) (+ (* (* 1/2 x) (- y (* y y))) y) (pow (E) x) (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1)))
184.0ms	c	@	0	((* c (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))))) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1)))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (* (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) c) (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) (* y x) (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) y) (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) (+ (* (* x x) (* c (+ (* (* 1/24 (+ (* (pow y 4) -6) (+ (* (* y y) -7) (+ (* 12 (pow y 3)) y)))) x) (* (+ (* (* y y) (+ (* 2 y) -3)) y) 1/6)))) (* c (+ (* (* 1/2 x) (- y (* y y))) y))) (+ (* -1/4 (* x y)) (+ (* 1/2 x) 1/3)) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (+ (* (* x x) (* c (+ (* (* 1/24 (+ (* (pow y 4) -6) (+ (* (* y y) -7) (+ (* 12 (pow y 3)) y)))) x) (* (+ (* (* y y) (+ (* 2 y) -3)) y) 1/6)))) (* c (+ (* (* 1/2 x) (- y (* y y))) y))) x) (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) y) (* (/ 1 (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1))) c) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))) (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1)) (+ (* (* 1/2 x) (- y (* y y))) y) (pow (E) x) (/ (+ (pow (E) x) 1) (- (exp (* 2 x)) 1)))
152.0ms	alphax	@	-inf	((/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)) (+ (* (* (PI) 2) u1) (* (PI) 1/2)) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) 2) 1)) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (+ (* (* (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (* (+ (* u1 2) 1/2) (PI))) (cos (* (+ (* u1 2) 1/2) (PI))))))) 2)) (/ u0 (- 1 u0))) -1/2) 1) (* (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (* (+ (* u1 2) 1/2) (PI))) (cos (* (+ (* u1 2) 1/2) (PI))))))) 2)) (/ u0 (- 1 u0))) (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (* (+ (* u1 2) 1/2) (PI))) (cos (* (+ (* u1 2) 1/2) (PI))))))) 2)) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (/ 1 (sqrt (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) 1))) (sqrt (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) 1)) (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) 1) (/ 1 (sqrt (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphax) 2))) 1))) (sqrt (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) alphax) 2))) 1)) (+ (* u1 2) 1/2) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ (/ (/ u0 (- 1 u0)) (+ (/ (pow (sin (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* u1 2) 1/2)))))) 2) (* alphay alphay)) (/ (pow (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) 2) (* alphax alphax)))) 1))) (/ 1 (+ (/ (/ u0 (- 1 u0)) (+ (/ (pow (sin (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* u1 2) 1/2)))))) 2) (* alphay alphay)) (/ (pow (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) 2) (* alphax alphax)))) 1)) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (pow (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) 2) (* (* 2 (PI)) u1) (+ (* u1 2) 1/2) (cos (* (+ (* u1 2) 1/2) (PI))) (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (+ (* 2 u1) 1/2) (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) (cos (* (PI) (+ (* u1 2) 1/2))) (cos (* (PI) (+ (* 2 u1) 1/2))))

explain10.1s (2.6%)

Memory

-364.3MiB live, 12 702.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	990	96
`sqrt.f32`	`#f`	oflow-rescue	376	0
`-.f32`	`#f`	cancellation	367	34
`sqrt.f64`	`#f`	oflow-rescue	298	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))`	sensitivity	201	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancellation	193	11
`cos.f32`	`#f`	sensitivity	189	14
`-.f64`	`#f`	cancellation	164	0
`/.f32`	`#f`	o/n	134	0
`exp.f32`	`#f`	sensitivity	48	20
`/.f32`	`#f`	u/n	28	0
`*.f64`	`(.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))`	*nu**	18	0
`/.f32`	`#f`	o/o	16	0
`/.f32`	`#f`	n/o	14	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	14	0
↳	`(*.f32 sinTheta_O sinTheta_O)`	underflow	300
↳	`(-.f32 (.f32 eta eta) (/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))`	underflow	14
↳	`(/.f32 (.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 sinTheta_O sinTheta_O))))`	underflow	150
↳	`(*.f32 eta eta)`	underflow	14
`sqrt.f64`	`#f`	uflow-rescue	12	0
`*.f32`	`#f`	*no**	2	0
`*.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
`+.f32`	(+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (.f32 (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (.f32 (.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi))	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	2143	75
-	472	5758

Precision

0.8195028680688337

Recall

0.9661857529305681

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2143	48	27
-	472	117	5641

Precision?

0.7881294964028777

Recall?

0.9878268710550046

Freqs

test

number	freq
0	5833
1	2180
2	418
3	17

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	24	3	0
-	4	0	2

Precision?

0.8709677419354839

Recall?

1.0

Samples

2.9s	16 162×	0	valid
231.0ms	606×	1	valid
38.0ms	128×	2	valid

Compiler

Compiled 24 467 to 2 456 computations (90% saved)

Precisions

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

ival-mult: 613.0ms (32.4% of total)

ival-div: 189.0ms (10% of total)

ival-floor: 161.0ms (8.5% of total)

ival-add: 131.0ms (6.9% of total)

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

ival-sqrt: 76.0ms (4% of total)

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

ival-sinu: 66.0ms (3.5% of total)

ival-e: 45.0ms (2.4% of total)

ival-exp: 40.0ms (2.1% of total)

ival-sin: 39.0ms (2.1% of total)

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

ival-log1p: 28.0ms (1.5% of total)

const: 26.0ms (1.4% of total)

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

ival-pow2: 24.0ms (1.3% of total)

adjust: 23.0ms (1.2% of total)

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

ival-cos: 21.0ms (1.1% of total)

ival-pi: 21.0ms (1.1% of total)

ival-tan: 18.0ms (1% of total)

ival-fabs: 17.0ms (0.9% of total)

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

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

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

exact: 16.0ms (0.8% of total)

ival-log2: 11.0ms (0.6% of total)

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

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

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

ival-asin: 4.0ms (0.2% of total)

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

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

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

preprocess9.0s (2.3%)

Memory

273.2MiB live, 8 461.5MiB allocated

Algorithm

33×	egg-herbie

Stop Event

66×	iter limit
35×	saturated
31×	node limit

Compiler

Compiled 94 216 to 21 563 computations (77.1% saved)

bsearch595.0ms (0.2%)

Memory

-17.1MiB live, 888.9MiB allocated

Algorithm

65×	left-value
54×	binary-search

Stop Event

50×	narrow-enough
4×	predicate-same

Samples

129.0ms	1 085×	0	valid
129.0ms	483×	1	valid
49.0ms	144×	1	invalid
13.0ms	160×	0	invalid

Compiler

Compiled 10 970 to 7 496 computations (31.7% saved)

Precisions

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

ival-pow: 80.0ms (33.7% of total)

ival-e: 38.0ms (16% of total)

ival-mult: 37.0ms (15.6% of total)

ival-log1p: 14.0ms (5.9% of total)

ival-pow2: 13.0ms (5.5% of total)

ival-sub: 12.0ms (5.1% of total)

adjust: 11.0ms (4.6% of total)

ival-add: 10.0ms (4.2% of total)

ival-fabs: 9.0ms (3.8% of total)

ival-div: 5.0ms (2.1% of total)

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

ival-true: 2.0ms (0.8% of total)

exact: 2.0ms (0.8% of total)

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

start14.0ms (0%)

Memory: -33.9MiB live, 6.3MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated

sample1.4min (21.8%)

simplify49.5s (12.6%)

regimes43.8s (11.2%)

soundness38.4s (9.8%)

eval35.3s (9%)

rewrite29.4s (7.5%)

localize26.3s (6.7%)

prune24.3s (6.2%)

analyze22.5s (5.7%)

series17.2s (4.4%)

explain10.1s (2.6%)

preprocess9.0s (2.3%)

bsearch595.0ms (0.2%)

start14.0ms (0%)

end0.0ms (0%)

Profiling