Metrics for Herbie run

Date:	Friday, May 17th, 2024
Commit:	468a8500 on if-cost
Hostname:	nightly with Racket 8.11.1
Seed:	2024138
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

sample25.0min (23.1%)

Results

8.7min	3850409×	0	valid
3.5min	95204×	5	exit
3.1min	476390×	1	valid
1.3min	126225×	2	valid
32.1s	19549×	3	valid
28.3s	145048×	0	precondition
28.1s	173030×	0	invalid
13.4s	61220×	0	unsamplable
9.5s	2180×	4	valid
6.9s	23502×	1	invalid
1.3s	2221×	2	invalid
178.0ms	8×	5	valid
45.0ms	61×	1	unsamplable
13.0ms	21×	3	invalid

Precisions

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

ival-mult: 3.3min (23% of total)

ival-pow: 2.6min (18% of total)

ival-add: 1.1min (7.9% of total)

ival-div: 1.1min (7.4% of total)

ival-sin: 1.0min (7.1% of total)

ival-sub: 52.0s (6% of total)

ival-cos: 37.5s (4.3% of total)

...c/correct-round.rkt:119:19: 34.9s (4% of total)

backward-pass: 30.7s (3.5% of total)

ival-exp: 27.8s (3.2% of total)

ival-log: 27.3s (3.2% of total)

ival-sqrt: 20.8s (2.4% of total)

ival-tan: 16.9s (2% of total)

ival-<=: 16.5s (1.9% of total)

const: 7.9s (0.9% of total)

ival-neg: 7.7s (0.9% of total)

ival-fabs: 5.7s (0.7% of total)

ival-<: 5.2s (0.6% of total)

ival-and: 3.6s (0.4% of total)

compiled-spec: 3.4s (0.4% of total)

ival-pi: 2.4s (0.3% of total)

ival->: 2.2s (0.3% of total)

ival-asin: 1.7s (0.2% of total)

ival-atan2: 1.6s (0.2% of total)

ival-acos: 1.5s (0.2% of total)

ival-atan: 1.3s (0.1% of total)

ival-floor: 1.1s (0.1% of total)

ival-fmod: 962.0ms (0.1% of total)

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

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

ival-fmin: 689.0ms (0.1% of total)

ival-==: 671.0ms (0.1% of total)

ival-if: 403.0ms (0% of total)

ival->=: 385.0ms (0% of total)

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

ival-log2: 375.0ms (0% of total)

ival-fmax: 359.0ms (0% of total)

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

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

ival-asinh: 259.0ms (0% of total)

ival-atanh: 166.0ms (0% of total)

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

Bogosity

soundness20.1min (18.5%)

Rules

8890162×	`-lowering-.f32`
8890162×	`-lowering-.f64`
4626698×	`+-lowering-+.f32`
4626698×	`+-lowering-+.f64`
4226804×	`/-lowering-/.f32`

Stop Event

2514×	iter limit
173×	saturated
378×	fuel
2303×	node limit
8×	unsound
162×	done

Compiler

Compiled 407104 to 217491 computations (46.6% saved)

simplify15.4min (14.2%)

Algorithm

4458×

egg-herbie

Rules

10525834×	`-lowering-.f32`
10525834×	`-lowering-.f64`
5701514×	`+-lowering-+.f32`
5701514×	`+-lowering-+.f64`
3838040×	`fma-lowering-fma.f64`

Stop Event

1522×	saturated
3872×	iter limit
2982×	node limit
4×	unsound

Counts

651036 → 651036

rewrite12.2min (11.2%)

Algorithm

1959×

batch-egg-rewrite

Rules

6659508×	`-lowering-.f32`
6659508×	`-lowering-.f64`
5095240×	`/-lowering-/.f32`
5095240×	`/-lowering-/.f64`
2749114×	`+-lowering-+.f32`

Stop Event

80×	saturated
2018×	iter limit
1882×	node limit
22×	unsound

Counts

26501 → 1086974

localize7.0min (6.5%)

Results

2.3min	410963×	0	valid
1.1min	14774×	5	exit
58.1s	43858×	1	valid
24.7s	11934×	2	valid
8.2s	15576×	0	invalid
4.2s	1461×	3	valid
1.3s	571×	1	invalid
1.2s	2137×	0	unsamplable
630.0ms	128×	4	valid
229.0ms	54×	2	invalid
42.0ms	31×	1	unsamplable
32.0ms	15×	3	invalid
20.0ms	2×	5	valid

Compiler

Compiled 538844 to 51983 computations (90.4% saved)

Precisions

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

ival-mult: 46.4s (24.9% of total)

ival-div: 24.8s (13.3% of total)

ival-add: 16.2s (8.7% of total)

backward-pass: 14.2s (7.7% of total)

ival-pow: 14.0s (7.5% of total)

ival-cos: 11.5s (6.2% of total)

ival-sin: 10.1s (5.4% of total)

...c/correct-round.rkt:119:19: 8.6s (4.7% of total)

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

ival-log: 7.0s (3.8% of total)

compiled-spec: 5.0s (2.7% of total)

ival-tan: 4.7s (2.5% of total)

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

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

const: 1.5s (0.8% of total)

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

ival-neg: 712.0ms (0.4% of total)

ival-atan2: 702.0ms (0.4% of total)

ival-asin: 669.0ms (0.4% of total)

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

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

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

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

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

ival-if: 217.0ms (0.1% of total)

ival-floor: 127.0ms (0.1% of total)

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

ival-log2: 115.0ms (0.1% of total)

ival-fmax: 115.0ms (0.1% of total)

ival-copysign: 95.0ms (0.1% of total)

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

ival->=: 56.0ms (0% of total)

ival-e: 48.0ms (0% of total)

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

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

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

eval6.3min (5.8%)

Compiler: Compiled 94133063 to 4650680 computations (95.1% saved)

prune5.7min (5.3%)

Counts: 2113252 → 43411
Compiler: Compiled 2424111 to 1123576 computations (53.6% saved)

regimes4.0min (3.7%)

Counts

141998 → 10329

Calls

1223 calls:

25.9s	x
14.8s	y
10.4s	z
8.4s	a
7.6s	b

Compiler

Compiled 95413 to 70640 computations (26% saved)

series3.8min (3.5%)

Counts

26501 → 651396

Calls

123930 calls:

Time	Variable		Point	Expression
2.0min	x	@	0	(/ (- (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (/ (- (/ 1126581484710674041/1000000000000000000 (pow (- 1 (* (fabs x) -3275911/10000000)) 2)) 2111650813574208729/1000000000000000000) (- (/ 1061405429/1000000000 (- 1 (* (fabs x) -3275911/10000000))) -1453152027/1000000000)) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) (pow (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3)))) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2)))
1.3s	x	@	0	(/ (- (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) (pow (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3)))) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2)))
992.0ms	im	@	inf	(* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im)))
919.0ms	i	@	inf	(* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)))
867.0ms	x	@	0	(- (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (/ (- (/ 1126581484710674041/1000000000000000000 (pow (- 1 (* (fabs x) -3275911/10000000)) 2)) 2111650813574208729/1000000000000000000) (- (/ 1061405429/1000000000 (- 1 (* (fabs x) -3275911/10000000))) -1453152027/1000000000)) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 3) (* (pow (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) 2) (* (+ 1 (/ (+ 1 (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))))) (/ (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000))) (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000))))))) (pow (/ (+ -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ -1 (* (fabs x) -3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 3))))

bsearch2.5min (2.3%)

Algorithm

4766×	binary-search
602×	left-value

Stop Event

139×	predicate-same
4626×	narrow-enough
1×	predicate-failed

Results

1.2min	516781×	0	valid
24.2s	43482×	1	valid
3.8s	5182×	2	valid
3.1s	1743×	3	valid
2.9s	21528×	0	invalid
461.0ms	490×	4	valid
73.0ms	338×	1	invalid
26.0ms	214×	0	unsamplable
21.0ms	51×	2	invalid
5.0ms	2×	5	valid
1.0ms	1×	5	exit

Compiler

Compiled 1153768 to 812348 computations (29.6% saved)

Precisions

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

ival-mult: 23.2s (30.3% of total)

ival-sub: 8.5s (11% of total)

ival-div: 7.0s (9.2% of total)

ival-add: 6.9s (9% of total)

ival-cos: 5.9s (7.7% of total)

ival-sin: 5.8s (7.6% of total)

ival-pow: 4.8s (6.3% of total)

ival-log: 3.6s (4.7% of total)

...c/correct-round.rkt:119:19: 2.3s (3% of total)

backward-pass: 1.9s (2.5% of total)

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

ival-exp: 1.4s (1.8% of total)

const: 838.0ms (1.1% of total)

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

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

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

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

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

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

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

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

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

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

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

ival-fmod: 26.0ms (0% of total)

ival->=: 23.0ms (0% of total)

ival-if: 23.0ms (0% of total)

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

ival-copysign: 16.0ms (0% of total)

preprocess2.2min (2%)

Algorithm

1082×

egg-herbie

Rules

835190×	`fnmadd-define`
798648×	`sum3-define`
694712×	`fma-define`
668484×	`fmsub-define`
622970×	`fnmsub-define`

Stop Event

538×	iter limit
572×	saturated
513×	node limit

Compiler

Compiled 408438 to 138336 computations (66.1% saved)

analyze1.7min (1.6%)

Algorithm

545×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	84.4%	15.6%	0%	0%	0%	0
38.7%	32.7%	51.8%	15.6%	0%	0%	0%	1
44.8%	37.5%	46.2%	15.6%	0%	0.7%	0%	2
54%	44.1%	37.5%	15.7%	0%	2.6%	0%	3
60.9%	49.1%	31.6%	15.8%	0%	3.6%	0%	4
67.1%	53.8%	26.4%	15.8%	0%	4%	0%	5
71%	56.7%	23.1%	15.8%	0%	4.3%	0%	6
75%	59.4%	19.8%	15.9%	0%	4.8%	0.1%	7
77%	60.7%	18.1%	15.9%	0%	5.2%	0.1%	8
79.6%	62.5%	16%	15.9%	0%	5.4%	0.1%	9
81.1%	63.5%	14.8%	16%	0%	5.7%	0.1%	10
83.4%	65.1%	13%	16%	0%	5.8%	0.1%	11
84.5%	65.8%	12.1%	16%	0%	6%	0.1%	12

Compiler

Compiled 13446 to 7366 computations (45.2% saved)

Precisions

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

ival-mult: 16.1s (26.2% of total)

ival-add: 5.9s (9.5% of total)

ival-div: 5.4s (8.7% of total)

...c/correct-round.rkt:119:19: 5.0s (8% of total)

ival-<=: 4.1s (6.6% of total)

ival-pow: 4.1s (6.6% of total)

ival-sub: 3.7s (5.9% of total)

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

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

ival-fabs: 2.3s (3.7% of total)

ival-cos: 2.0s (3.2% of total)

ival-floor: 1.0s (1.7% of total)

ival-and: 867.0ms (1.4% of total)

ival-tan: 827.0ms (1.3% of total)

ival-log: 809.0ms (1.3% of total)

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

const: 574.0ms (0.9% of total)

ival-neg: 565.0ms (0.9% of total)

ival-if: 560.0ms (0.9% of total)

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

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

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

ival-atan2: 240.0ms (0.4% of total)

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

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

ival-log2: 181.0ms (0.3% of total)

backward-pass: 178.0ms (0.3% of total)

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

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

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

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

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

ival-fmod: 47.0ms (0.1% of total)

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

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

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

ival-fmin: 12.0ms (0% of total)

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

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

compiled-spec: 0.0ms (0% of total)

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

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

explain1.6min (1.4%)

Results

32.8s	230742×	0	valid
15.8s	34160×	1	valid
8.0s	9950×	2	valid
3.1s	1430×	3	valid
792.0ms	170×	4	valid
562.0ms	540×	5	exit

Compiler

Compiled 95243 to 18404 computations (80.7% saved)

Precisions

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

ival-mult: 7.7s (21.3% of total)

ival-div: 3.5s (9.6% of total)

ival-pow: 3.1s (8.7% of total)

ival-sin: 3.1s (8.6% of total)

ival-sub: 3.1s (8.5% of total)

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

ival-cos: 2.4s (6.6% of total)

backward-pass: 2.1s (5.9% of total)

ival-log: 1.8s (5% of total)

ival-sqrt: 1.4s (3.9% of total)

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

ival-tan: 1.2s (3.2% of total)

...c/correct-round.rkt:119:19: 635.0ms (1.8% of total)

const: 481.0ms (1.3% of total)

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

compiled-spec: 154.0ms (0.4% of total)

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

ival-atan2: 108.0ms (0.3% of total)

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

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

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

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

ival-fmod: 63.0ms (0.2% of total)

ival-floor: 58.0ms (0.2% of total)

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

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

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

ival-log2: 32.0ms (0.1% of total)

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

ival-tanh: 24.0ms (0.1% of total)

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

ival-copysign: 14.0ms (0% of total)

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

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

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

Herbie run

sample25.0min (23.1%)

soundness20.1min (18.5%)

simplify15.4min (14.2%)

rewrite12.2min (11.2%)

localize7.0min (6.5%)

eval6.3min (5.8%)

prune5.7min (5.3%)

regimes4.0min (3.7%)

series3.8min (3.5%)

bsearch2.5min (2.3%)

preprocess2.2min (2%)

analyze1.7min (1.6%)

explain1.6min (1.4%)

end1.0min (0.9%)

Profiling