Metrics for Herbie run

Date:	Thursday, June 6th, 2024
Commit:	b2854467 on platforms
Hostname:	nightly with Racket 8.11.1
Seed:	2024158
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

sample4.6min (23.9%)

Results

2.1min	7508×	5	exit
1.2min	433693×	0	valid
11.4s	28931×	1	valid
3.0s	6871×	2	valid
767.0ms	4662×	0	unsamplable
229.0ms	424×	3	valid
69.0ms	466×	0	invalid

Precisions

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

ival-sin: 1.8min (52.7% of total)

ival-mult: 38.3s (19.1% of total)

ival-pow: 13.6s (6.8% of total)

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

ival-add: 6.2s (3.1% of total)

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

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

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

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

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

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

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

ival-asin: 1.1s (0.5% of total)

ival-atan2: 1.0s (0.5% of total)

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

const: 774.0ms (0.4% of total)

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

ival-<=: 387.0ms (0.2% of total)

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

ival-acosh: 278.0ms (0.1% of total)

ival-neg: 266.0ms (0.1% of total)

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

ival-atanh: 161.0ms (0.1% of total)

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

ival-and: 90.0ms (0% of total)

Bogosity

soundness4.1min (21.3%)

Rules

811156×	`-lowering-.f32`
811156×	`-lowering-.f64`
465420×	`+-lowering-+.f32`
465420×	`+-lowering-+.f64`
341180×	`/-lowering-/.f64`

Stop Event

17×	saturated
245×	iter limit
36×	fuel
217×	node limit
17×	done

Compiler

Compiled 35607 to 18718 computations (47.4% saved)

eval2.9min (15.1%)

Compiler: Compiled 10453353 to 473713 computations (95.5% saved)

simplify2.6min (13.7%)

Algorithm

447×	egg-herbie

Rules

1054502×	`-lowering-.f32`
1054502×	`-lowering-.f64`
643970×	`+-lowering-+.f32`
643970×	`+-lowering-+.f64`
386512×	`fma-lowering-fma.f64`

Stop Event

391×	iter limit
165×	saturated
284×	node limit

Counts

52980 → 52980

localize1.5min (7.9%)

Results

18.1s	39520×	0	valid
13.2s	2428×	5	exit
12.0s	572×	2	valid
3.4s	2741×	1	valid
3.0s	4550×	0	invalid
279.0ms	349×	0	unsamplable
45.0ms	20×	3	valid
42.0ms	15×	4	valid
2.0ms	1×	1	unsamplable

Compiler

Compiled 59113 to 5362 computations (90.9% saved)

Precisions

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

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

backward-pass: 2.3s (12.4% of total)

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

ival-add: 1.7s (9.1% of total)

ival-pow: 1.5s (8.4% of total)

ival-log: 1.2s (6.5% of total)

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

ival-asin: 910.0ms (4.9% of total)

compiled-spec: 743.0ms (4% of total)

ival-sub: 523.0ms (2.8% of total)

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

ival-atan2: 334.0ms (1.8% of total)

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

ival-sin: 260.0ms (1.4% of total)

ival-acos: 242.0ms (1.3% of total)

ival-cos: 239.0ms (1.3% of total)

const: 158.0ms (0.9% of total)

ival-copysign: 116.0ms (0.6% of total)

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

ival-neg: 42.0ms (0.2% of total)

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

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

rewrite1.2min (6%)

Algorithm

196×	batch-egg-rewrite

Rules

593844×	`-lowering-.f32`
593844×	`-lowering-.f64`
429526×	`/-lowering-/.f32`
429526×	`/-lowering-/.f64`
245462×	`+-lowering-+.f32`

Stop Event

9×	saturated
213×	iter limit
188×	node limit

Counts

2792 → 98581

prune1.1min (5.8%)

Counts: 187599 → 3465
Compiler: Compiled 180576 to 77971 computations (56.8% saved)

series16.5s (1.4%)

Counts

2792 → 52980

Calls

10419 calls:

Time	Variable		Point	Expression
3.1s	im	@	-inf	(* (/ 1 (+ 1 (* re (+ -1 (* re (+ 1/2 (* re -1/6))))))) (cos im))
987.0ms	re	@	inf	(* re (+ 1/2 (* re -1/6)))
859.0ms	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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) (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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) 2)))
642.0ms	x	@	0	(/ (- (* 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))))))) (* (+ 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))))) (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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) 3))) (* (+ 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))))) (+ 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) (+ 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))))))))
533.0ms	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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) 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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))))) (/ (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x))) (+ 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 (* 3275911/10000000 (fabs x)))))))) (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 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (exp (* x x)))) 3))))

preprocess15.5s (1.3%)

Algorithm

112×	egg-herbie

Rules

64076×	`fnmadd-define`
61750×	`fma-define`
59546×	`sum3-define`
55566×	`fmsub-define`
47460×	`-lowering-.f32`

Stop Event

66×	saturated
56×	iter limit
46×	node limit

Compiler

Compiled 35598 to 12106 computations (66% saved)

regimes13.5s (1.2%)

Counts

11721 → 958

Calls

122 calls:

1.7s	re
1.5s	im
844.0ms	x
598.0ms	y.im
464.0ms	y.re

Compiler

Compiled 5560 to 3601 computations (35.2% saved)

bsearch11.8s (1%)

Algorithm

456×	binary-search
27×	left-value

Stop Event

34×	predicate-same
422×	narrow-enough

Results

5.9s	46932×	0	valid
2.2s	4938×	1	valid
166.0ms	373×	2	valid
5.0ms	13×	3	valid

Compiler

Compiled 102852 to 69239 computations (32.7% saved)

Precisions

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

ival-mult: 1.9s (34.1% of total)

ival-sin: 570.0ms (10.2% of total)

ival-exp: 500.0ms (8.9% of total)

ival-add: 493.0ms (8.8% of total)

ival-div: 378.0ms (6.7% of total)

ival-cos: 343.0ms (6.1% of total)

ival-log: 338.0ms (6% of total)

ival-sub: 261.0ms (4.7% of total)

backward-pass: 196.0ms (3.5% of total)

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

ival-atan2: 164.0ms (2.9% of total)

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

const: 69.0ms (1.2% of total)

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

ival-copysign: 18.0ms (0.3% of total)

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

explain10.7s (0.9%)

Results

4.8s	24786×	0	valid
1.8s	3180×	1	valid
357.0ms	554×	2	valid
112.0ms	122×	5	exit
22.0ms	30×	3	valid

Compiler

Compiled 11865 to 1987 computations (83.3% saved)

Precisions

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

ival-mult: 967.0ms (27.7% of total)

ival-add: 318.0ms (9.1% of total)

ival-fabs: 316.0ms (9% of total)

ival-div: 297.0ms (8.5% of total)

ival-sub: 281.0ms (8% of total)

ival-log: 237.0ms (6.8% of total)

backward-pass: 216.0ms (6.2% of total)

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

ival-exp: 120.0ms (3.4% of total)

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

compiled-spec: 83.0ms (2.4% of total)

ival-atan2: 76.0ms (2.2% of total)

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

ival-cos: 65.0ms (1.9% of total)

ival-asin: 64.0ms (1.8% of total)

const: 52.0ms (1.5% of total)

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

ival-copysign: 17.0ms (0.5% of total)

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

ival-pow: 15.0ms (0.4% of total)

analyze3.8s (0.3%)

Algorithm

58×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	86.3%	13.7%	0%	0%	0%	0
53.4%	46.1%	40.2%	13.7%	0%	0%	0%	1
62.8%	53.1%	31.4%	13.7%	0%	1.7%	0%	2
71.2%	58.4%	23.6%	13.7%	0%	4.3%	0%	3
77.4%	62%	18.1%	13.7%	0%	6.2%	0%	4
83.5%	66.8%	13.2%	13.7%	0%	6.3%	0%	5
85.8%	68.3%	11.3%	13.7%	0%	6.6%	0%	6
88.3%	70.3%	9.4%	13.7%	0%	6.6%	0%	7
89.9%	71.5%	8%	13.7%	0%	6.8%	0%	8
91.1%	72.5%	7.1%	13.7%	0%	6.8%	0%	9
92.6%	73.6%	5.9%	13.7%	0%	6.8%	0%	10
94%	74.7%	4.8%	13.7%	0%	6.8%	0%	11
94.5%	75.1%	4.4%	13.7%	0%	6.9%	0%	12

Compiler

Compiled 1558 to 790 computations (49.3% saved)

Precisions

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

ival-mult: 609.0ms (28.4% of total)

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

ival-add: 285.0ms (13.3% of total)

ival-log: 151.0ms (7% of total)

ival-div: 122.0ms (5.7% of total)

ival-sqrt: 122.0ms (5.7% of total)

ival-exp: 76.0ms (3.5% of total)

ival-atan2: 75.0ms (3.5% of total)

ival-sub: 67.0ms (3.1% of total)

ival-pow: 67.0ms (3.1% of total)

ival-sin: 25.0ms (1.2% of total)

const: 23.0ms (1.1% of total)

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

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

ival-<=: 13.0ms (0.6% of total)

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

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

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

ival-and: 2.0ms (0.1% of total)

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

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

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

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

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

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

end0.0ms (0%)

Precisions: Click to see histograms. Total time spent on operations: 31.2s
ival-sin: 31.2s (100% of total)
ival-acos: 4.0ms (0% of total)

sample4.6min (23.9%)

soundness4.1min (21.3%)

eval2.9min (15.1%)

simplify2.6min (13.7%)

localize1.5min (7.9%)

rewrite1.2min (6%)

prune1.1min (5.8%)

series16.5s (1.4%)

preprocess15.5s (1.3%)

regimes13.5s (1.2%)

bsearch11.8s (1%)

explain10.7s (0.9%)

analyze3.8s (0.3%)

end0.0ms (0%)

Profiling