Metrics for Herbie run

Date:	Wednesday, October 30th, 2024
Commit:	aeaf0403 on bhargav-double-double
Hostname:	nightly with Racket 8.10
Seed:	2024304
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.3%)

Memory

520.6MiB live, 102 488.0MiB allocated

Samples

57.2s	262 367×	0	valid
2.7s	11 127×	0	invalid
2.5s	7 768×	1	valid
707.0ms	2 313×	2	valid
268.0ms	642×	1	invalid
211.0ms	1 570×	1	exit

Precisions

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

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

const: 7.6s (14.9% of total)

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

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

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

ival-sub: 2.3s (4.5% of total)

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

ival-fabs: 1.8s (3.5% of total)

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

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

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

ival-exp: 1.0s (2% of total)

ival-pow: 771.0ms (1.5% of total)

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

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

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

ival-sinu: 592.0ms (1.2% of total)

exact: 476.0ms (0.9% of total)

ival-e: 448.0ms (0.9% of total)

ival-<: 433.0ms (0.8% of total)

adjust: 411.0ms (0.8% of total)

ival-cosu: 400.0ms (0.8% of total)

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

ival-cos: 371.0ms (0.7% of total)

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

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

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

ival-==: 265.0ms (0.5% of total)

ival-log2: 229.0ms (0.4% of total)

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

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

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

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

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

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

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

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

Bogosity

simplify48.4s (12.1%)

Memory

273.7MiB live, 48 221.6MiB allocated

Algorithm

297×	egg-herbie

Stop Event

401×	iter limit
220×	node limit
72×	saturated
5×	unsound

Counts

14 933 → 14 848

regimes45.4s (11.3%)

Memory

-333.6MiB live, 54 530.1MiB allocated

Counts

18 706 → 400

Calls

160 calls:

2.4s	s
1.5s	u
1.0s	maxCos
927.0ms	dY.u
891.0ms	h

Compiler

Compiled 27 285 to 16 534 computations (39.4% saved)

soundness39.0s (9.7%)

Memory

399.3MiB live, 27 699.2MiB allocated

Stop Event

288×	iter limit
189×	node limit
32×	fuel
1×	unsound
1×	done

Compiler

Compiled 73 607 to 19 185 computations (73.9% saved)

eval36.3s (9.1%)

Memory: -65.6MiB live, 56 406.3MiB allocated
Compiler: Compiled 24 777 580 to 600 286 computations (97.6% saved)

rewrite30.1s (7.5%)

Memory

378.7MiB live, 33 613.6MiB allocated

Stop Event

279×	iter limit
126×	node limit
6×	unsound

Counts

2 542 → 88 944

localize27.5s (6.9%)

Memory

-96.7MiB live, 36 669.7MiB allocated

Samples

13.3s	27 819×	0	valid
2.6s	1 865×	1	valid
1.5s	3 066×	0	invalid
823.0ms	473×	2	valid
346.0ms	422×	1	exit
171.0ms	62×	5	exit
22.0ms	85×	0	exit

Compiler

Compiled 298 546 to 14 301 computations (95.2% saved)

Precisions

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

ival-mult: 3.9s (27.6% of total)

ival-div: 2.1s (15.1% of total)

ival-add: 1.4s (9.9% of total)

ival-sub: 736.0ms (5.2% of total)

ival-exp: 698.0ms (4.9% of total)

ival-sqrt: 685.0ms (4.8% of total)

ival-pow: 588.0ms (4.1% of total)

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

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

adjust: 357.0ms (2.5% of total)

ival-neg: 332.0ms (2.3% of total)

ival-log1p: 257.0ms (1.8% of total)

ival-cos: 215.0ms (1.5% of total)

ival-sin: 181.0ms (1.3% of total)

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

const: 161.0ms (1.1% of total)

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

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

ival-fmax: 124.0ms (0.9% of total)

ival-fabs: 106.0ms (0.7% of total)

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

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

ival-expm1: 86.0ms (0.6% of total)

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

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

exact: 66.0ms (0.5% of total)

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

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

ival-tanu: 33.0ms (0.2% of total)

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

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

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

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

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

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

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

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

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

analyze22.1s (5.5%)

Memory

-70.9MiB live, 28 269.2MiB 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)

series21.5s (5.4%)

Memory

-21.5MiB live, 26 554.4MiB allocated

Counts

2 542 → 14 933

Calls

1452 calls:

Time	Variable		Point	Expression
386.0ms	dX.u	@	-inf	((* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (* (pow (floor d) 2) dX.w) dX.w) (* (pow (floor h) 2) (* dY.v dY.v)) (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.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))) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 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.u (floor w)) 2)) (pow (* dY.w (floor d)) 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 w) dX.u) (* (floor w) dX.u)) (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (log2 (sqrt (fmax (+ (* (* dX.v (pow (floor h) 2)) dX.v) (+ (pow (* dX.u (floor w)) 2) (pow (* dX.w (floor d)) 2))) (+ (+ (* (* (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 (floor w) 2) dY.u) dY.u) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))) (+ (pow (exp 2) (log (* dX.u (floor w)))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.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)) (* (pow (floor h) 2) (* dY.v dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (pow (* dY.v (floor h)) 2) (pow (* dY.w (floor d)) 2) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 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 (floor w) 2) dY.u) dY.u) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))))) (+ (* (* dX.v (pow (floor h) 2)) dX.v) (+ (pow (* dX.u (floor w)) 2) (pow (* dX.w (floor d)) 2))) (sqrt (fmax (+ (* (* dX.v (pow (floor h) 2)) dX.v) (+ (pow (* dX.u (floor w)) 2) (pow (* dX.w (floor d)) 2))) (+ (+ (* (* (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 (+ (+ (pow (exp 2) (log (* dX.u (floor w)))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))))) (pow (exp 2) (log (* dX.u (floor w)))))
305.0ms	c	@	inf	((* (log (+ 1 (* y (- (exp x) 1)))) c) (* (* (- (exp x) 1) c) y) (* (- (exp x) 1) c) (- (exp x) 1) (* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* x y) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (+ (* y x) 1) (+ (* (* -1/6 c) (+ (* (+ (* 2 y) -3) (* y y)) y)) (/ (+ (* (* (+ (* -1/2 y) 1/2) y) c) (/ (* c y) x)) (neg x))) (+ (* (* (+ (* -1/2 y) 1/2) y) c) (/ (* c y) x)) (neg (+ (* (* -1/6 c) (+ (* (+ (* 2 y) -3) (* y y)) y)) (/ (+ (* (* (+ (* -1/2 y) 1/2) y) c) (/ (* c y) x)) (neg x)))) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (- (* (- (exp x) 1) y) 1) (* (neg (log (/ (+ (* (* (- (exp x) 1) y) (- (* (- (exp x) 1) y) 1)) 1) (+ (pow (* (- (exp x) 1) y) 3) 1)))) c) (neg (log (/ (+ (* (* (- (exp x) 1) y) (- (* (- (exp x) 1) y) 1)) 1) (+ (pow (* (- (exp x) 1) y) 3) 1)))) (log (/ (+ (* (* (- (exp x) 1) y) (- (* (- (exp x) 1) y) 1)) 1) (+ (pow (* (- (exp x) 1) y) 3) 1))) (* (neg (+ (* (* -1/6 c) (+ (* (+ (* 2 y) -3) (* y y)) y)) (/ (+ (* (* (+ (* -1/2 y) 1/2) y) c) (/ (* c y) x)) (neg x)))) (pow x 3)) (- (exp x) 1) (/ (+ (* (* (- (exp x) 1) y) (- (* (- (exp x) 1) y) 1)) 1) (+ (pow (* (- (exp x) 1) y) 3) 1)))
256.0ms	h	@	inf	((* (* (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 (floor d) 2) dX.w) dX.w) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))) (+ (* (* dY.w (floor d)) (* dY.w (floor d))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (pow (pow (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/4) 2) (log2 (pow (pow (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/4) 2)) (pow (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/4) (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 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))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (pow (floor h) 2) (* dY.v dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.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))))) (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 (floor w) 2) dY.u) dY.u) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))))) (pow (* dY.v (floor h)) 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.w (floor d)) (* dY.w (floor d))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))))
228.0ms	dX.u	@	inf	((exp (* (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2) 1)) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v)) (* (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2) 1) (log2 (if (> (/ (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (floor maxAniso)) (/ (exp (* (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2) 1)) (floor maxAniso)) (/ (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))))) (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor h) 2) dY.v) dY.v) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (* (+ (* (/ (* dY.u dY.u) dY.v) (/ (pow (floor w) 2) dY.v)) (pow (floor h) 2)) (* dY.v dY.v)) (+ (* (/ (* dY.u dY.u) dY.v) (/ (pow (floor w) 2) dY.v)) (pow (floor h) 2)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v)) (pow (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 2))) 1/4) 2) (log2 (if (> (/ (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (floor maxAniso)) (/ (pow (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 2))) 1/4) 2) (floor maxAniso)) (/ (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))))) (> (/ (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (floor maxAniso)) (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (/ (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (+ (* (neg dY.v) dX.u) (* dY.u dX.v)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v)) (+ (* dX.v (* (pow (floor h) 2) dX.v)) (pow (* (floor w) dX.u) 2)) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v)) (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 2))) 1/4) (/ (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))))
208.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) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* x c) y) (* x c) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* y (- (exp x) 1)) (- (exp x) 1) (* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (+ (log y) (log (- (exp x) 1))) (log y) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))) (* (+ (* (+ (* 1/6 x) 1/2) x) 1) x) (- (exp x) 1))

prune20.9s (5.2%)

Memory: -238.5MiB live, 31 940.0MiB allocated
Counts: 141 131 → 7 449
Compiler: Compiled 1 231 917 to 413 895 computations (66.4% saved)

explain13.0s (3.2%)

Memory

-315.0MiB live, 19 148.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`#f`	sensitivity	1047	59
`-.f32`	`#f`	cancellation	400	35
`sqrt.f64`	`#f`	oflow-rescue	284	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
`-.f64`	`#f`	cancellation	194	0
`tan.f32`	`(tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))`	cancelation	181	0
`cos.f32`	`(cos.f32 (atan.f32 (.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (.f32 (.f32 #s(literal 2 binary32) (PI.f32)) u1) (.f32 #s(literal 1/2 binary32) (PI.f32)))))))`	cancelation	171	0
`exp.f32`	`#f`	sensitivity	35	13
`sqrt.f64`	`#f`	uflow-rescue	10	0
`pow.f64`	`(pow.f64 (E.f64) x)`	sensitivity	1	0
`sin.f32`	`(sin.f32 (.f32 (.f32 x (PI.f32)) tau))`	cancelation	1	0

Confusion

	Predicted +	Predicted -
+	1883	399
-	381	5785

Precision

0.8317137809187279

Recall

0.8251533742331288

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1883	33	366
-	381	88	5697

Precision?

0.8033542976939203

Recall?

0.8396143733567046

Freqs

test

number	freq
0	6184
1	2003
2	261

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	15	0	8
-	4	0	6

Precision?

0.7894736842105263

Recall?

0.6521739130434783

Samples

2.6s	16 140×	0	valid
340.0ms	626×	1	valid
42.0ms	130×	2	valid

Compiler

Compiled 32 000 to 4 778 computations (85.1% saved)

Precisions

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

ival-mult: 532.0ms (27.4% of total)

ival-div: 230.0ms (11.8% of total)

ival-log1p: 140.0ms (7.2% of total)

ival-sub: 121.0ms (6.2% of total)

ival-add: 110.0ms (5.7% of total)

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

ival-log: 75.0ms (3.9% of total)

ival-exp: 71.0ms (3.7% of total)

ival-pow: 66.0ms (3.4% of total)

ival-cos: 51.0ms (2.6% of total)

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

ival-floor: 42.0ms (2.2% of total)

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

ival-pow2: 37.0ms (1.9% of total)

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

const: 31.0ms (1.6% of total)

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

adjust: 24.0ms (1.2% of total)

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

ival-fabs: 19.0ms (1% of total)

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

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

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

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

exact: 16.0ms (0.8% of total)

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

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

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

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

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

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

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

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

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

preprocess9.6s (2.4%)

Memory

229.6MiB live, 8 891.8MiB allocated

Algorithm

33×	egg-herbie

Stop Event

66×	iter limit
35×	saturated
31×	node limit

Compiler

Compiled 100 892 to 23 395 computations (76.8% saved)

bsearch886.0ms (0.2%)

Memory

120.1MiB live, 1 024.3MiB allocated

Algorithm

75×	left-value
42×	binary-search

Stop Event

41×	narrow-enough
1×	predicate-same

Samples

189.0ms	711×	1	valid
127.0ms	879×	0	valid
41.0ms	154×	2	valid
15.0ms	45×	1	invalid
8.0ms	90×	0	invalid

Compiler

Compiled 12 731 to 9 032 computations (29.1% saved)

Precisions

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

ival-pow: 73.0ms (23.5% of total)

ival-pow2: 65.0ms (20.9% of total)

ival-mult: 38.0ms (12.2% of total)

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

adjust: 24.0ms (7.7% of total)

ival-sub: 19.0ms (6.1% of total)

ival-add: 15.0ms (4.8% of total)

ival-log1p: 11.0ms (3.5% of total)

ival-sqrt: 10.0ms (3.2% of total)

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

ival-div: 7.0ms (2.2% of total)

exact: 2.0ms (0.6% of total)

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

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

start3.0ms (0%)

Memory: 6.3MiB live, 6.3MiB allocated

end0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated

sample1.4min (21.3%)

simplify48.4s (12.1%)

regimes45.4s (11.3%)

soundness39.0s (9.7%)

eval36.3s (9.1%)

rewrite30.1s (7.5%)

localize27.5s (6.9%)

analyze22.1s (5.5%)

series21.5s (5.4%)

prune20.9s (5.2%)

explain13.0s (3.2%)

preprocess9.6s (2.4%)

bsearch886.0ms (0.2%)

start3.0ms (0%)

end0.0ms (0%)

Profiling