Details

analyze107.0ms (4.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	1.6%	48.5%	9
50.4%	1.2%	48.5%	10
50.4%	1.2%	48.5%	11
50.4%	1.1%	48.6%	12
50.4%	1%	48.6%	13
50.5%	0.9%	48.6%	14

Compiler

Compiled 15 to 8 computations (46.7% saved)

sample66.0ms (2.6%)

Algorithm

1×

intervals

Results

39.0ms	123×	body	1024	valid
10.0ms	61×	body	512	valid
4.0ms	13×	body	2048	valid
4.0ms	38×	body	256	valid
1.0ms	21×	body	128	valid

Compiler

Compiled 30 to 16 computations (46.7% saved)

simplify74.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

720×	`fma-def_binary64`
658×	`unswap-sqr_binary64`
478×	`fma-neg_binary64`
464×	`times-frac_binary64`
388×	`associate-/r/_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	22
1	20	22
2	34	22
3	58	22
4	125	22
5	288	22
6	624	22
7	1577	22
8	3798	22
9	4553	22
10	5023	22

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

58.1b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	58.1b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 28 to 14 computations (50% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
6.5b	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite77.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-cube-cbrt_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cbrt-cube_binary64`
8×	`add-exp-log_binary64`
8×	`pow1_binary64`

Counts

2 → 105

Calls

2 calls:

19.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
15.0ms	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Compiler

Compiled 2524 to 377 computations (85.1% saved)

series28.0ms (1.1%)

Error

Counts

2 → 12

Calls

2 calls:

10.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
7.0ms	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Compiler

Compiled 401 to 259 computations (35.4% saved)

simplify101.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

597×	`fma-def_binary64`
425×	`fma-neg_binary64`
308×	`associate-/l*_binary64`
276×	`distribute-rgt-in_binary64`
264×	`div-exp_binary64`

Counts

117 → 71

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	175	2355
1	459	2125
2	1493	1553
3	4390	1537
4	5132	1537

prune37.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	2	72

Error

Counts

72 → 2

Alt Table

Status	Error	Program
✓	58.1b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	1.0b	(fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 2/15 x))

Compiler

Compiled 1095 to 461 computations (57.9% saved)

localize6.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune2.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	1	1
Total	2	2

Error

Counts

2 → 2

Alt Table

Status	Error	Program
	58.1b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
	1.0b	(fma.f64 (pow.f64 x 3) -1/3 (fma.f64 (pow.f64 x 5) 2/15 x))

Compiler

Compiled 26 to 16 computations (38.5% saved)

regimes54.0ms (2.1%)

Accuracy

Total 0.1b remaining (8.1%)

Threshold costs 0.1b (8.1%)

Compiler

Compiled 870 to 558 computations (35.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	9	14
2	9	14

end0.0ms (0%)

Compiler: Compiled 10 to 8 computations (20% saved)

sample2.0s (77.7%)

Algorithm

1×

intervals

Results

1.2s	3877×	body	1024	valid
317.0ms	1926×	body	512	valid
135.0ms	418×	body	2048	valid
102.0ms	983×	body	256	valid
39.0ms	796×	body	128	valid

Compiler

Compiled 52 to 33 computations (36.5% saved)

Details

analyze107.0ms (4.1%)

sample66.0ms (2.6%)

simplify74.0ms (2.9%)

prune1.0ms (0.1%)

localize8.0ms (0.3%)

rewrite77.0ms (3%)

series28.0ms (1.1%)

simplify101.0ms (3.9%)

prune37.0ms (1.4%)

localize6.0ms (0.2%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.3%)

prune2.0ms (0.1%)

regimes54.0ms (2.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample2.0s (77.7%)

Profiling