Details

analyze5.0ms (0.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%	0.8%	49.2%	9
50.4%	0.4%	49.2%	10
50.4%	0.2%	49.4%	11
50.4%	0.1%	49.5%	12
50.4%	0%	49.6%	13
50.4%	0%	49.6%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample2.9s (73.2%)

Results

1.8s	4125×	body	1024	valid
585.0ms	2076×	body	512	valid
213.0ms	423×	body	2048	valid
174.0ms	942×	body	256	valid
80.0ms	690×	body	128	valid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify55.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

618×	`fma-neg_binary64`
579×	`fma-def_binary64`
510×	`associate-/l*_binary64`
467×	`div-sub_binary64`
425×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	33	13
3	57	13
4	112	13
5	224	13
6	514	13
7	1303	13
8	3047	12
9	4469	12
10	4859	12

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

58.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	58.3b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Compiler

Compiled 35 to 25 computations (28.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.7b	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

series2.0ms (0.1%)

Counts

1 → 8

Calls

1 calls:

2.0ms

(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`prod-diff_binary64`
9×	`add-cube-cbrt_binary64`
3×	`cancel-sign-sub-inv_binary64`

Counts

1 → 31

Calls

1 calls:

4.0ms

(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

simplify80.0ms (2%)

Algorithm

1×	egg-herbie

Rules

608×	`fma-neg_binary64`
326×	`unsub-neg_binary64`
325×	`distribute-rgt-in_binary64`
287×	`associate-/r*_binary64`
265×	`associate-l_binary64`

Counts

39 → 49

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	86	629
1	175	535
2	491	470
3	1944	470
4	3994	468
5	4786	468
6	4810	468

prune26.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	3	50

Error

Counts

50 → 3

Alt Table

Status	Error	Program
	58.3b	(/.f64 (+.f64 (fma.f64 1 (exp.f64 x) (neg.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))) (fma.f64 (neg.f64 (sqrt.f64 (exp.f64 (neg.f64 x)))) (sqrt.f64 (exp.f64 (neg.f64 x))) (.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))) 2)
✓	58.3b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
▶	0.8b	(/.f64 (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3))) 2)

Compiler

Compiled 1033 to 388 computations (62.4% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 1/3 (pow.f64 x 3))

series3.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

3.0ms

(*.f64 1/3 (pow.f64 x 3))

rewrite6.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-r_binary64`
12×	`add-sqr-sqrt_binary64`
6×	`add-exp-log_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`

Counts

1 → 33

Calls

1 calls:

5.0ms

(*.f64 1/3 (pow.f64 x 3))

simplify78.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

513×	`associate-l_binary64`
478×	`associate-r_binary64`
457×	`fma-def_binary64`
349×	`log-prod_binary64`
311×	`cube-prod_binary64`

Counts

33 → 39

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	354
1	108	314
2	300	313
3	1643	313
4	2725	283
5	4361	283
6	4942	283
7	4928	283

prune25.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	39	3	42

Error

Counts

42 → 3

Alt Table

Status	Error	Program
▶	58.3b	(/.f64 (+.f64 (fma.f64 1 (exp.f64 x) (neg.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))) (fma.f64 (neg.f64 (sqrt.f64 (exp.f64 (neg.f64 x)))) (sqrt.f64 (exp.f64 (neg.f64 x))) (.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))) 2)
✓	58.3b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.8b	(/.f64 (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3))) 2)

Compiler

Compiled 698 to 526 computations (24.6% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (exp.f64 (neg.f64 x)))
✓	0.0b	(*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x))))
✓	3.9b	(fma.f64 (neg.f64 (sqrt.f64 (exp.f64 (neg.f64 x)))) (sqrt.f64 (exp.f64 (neg.f64 x))) (*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))
✓	6.7b	(fma.f64 1 (exp.f64 x) (neg.f64 (*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x))))))

series16.0ms (0.4%)

Counts

4 → 44

Calls

4 calls:

9.0ms	(fma.f64 (neg.f64 (sqrt.f64 (exp.f64 (neg.f64 x)))) (sqrt.f64 (exp.f64 (neg.f64 x))) (*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))
3.0ms	(fma.f64 1 (exp.f64 x) (neg.f64 (*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x))))))
3.0ms	(sqrt.f64 (exp.f64 (neg.f64 x)))
2.0ms	(*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x))))

rewrite32.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

95×	`sqrt-pow1_binary64`
86×	`exp-prod_binary64`
51×	`add-sqr-sqrt_binary64`
48×	`*-un-lft-identity_binary64`
34×	`add-cube-cbrt_binary64`

Counts

4 → 146

Calls

4 calls:

15.0ms	(*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x))))
3.0ms	(sqrt.f64 (exp.f64 (neg.f64 x)))
0.0ms	(fma.f64 (neg.f64 (sqrt.f64 (exp.f64 (neg.f64 x)))) (sqrt.f64 (exp.f64 (neg.f64 x))) (*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))
0.0ms	(fma.f64 1 (exp.f64 x) (neg.f64 (*.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x))))))

simplify120.0ms (3%)

Algorithm

1×	egg-herbie

Rules

952×	`fma-neg_binary64`
390×	`exp-prod_binary64`
360×	`cancel-sign-sub-inv_binary64`
268×	`unswap-sqr_binary64`
238×	`fma-def_binary64`

Counts

190 → 217

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	179	1786
1	330	1507
2	827	1347
3	2426	1225
4	4069	1210
5	4975	1210
6	4758	1210

prune313.0ms (7.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	571	0	571
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	571	3	574

Error

Counts

574 → 3

Alt Table

Status	Error	Program
✓	58.3b	(/.f64 (+.f64 (fma.f64 1 (exp.f64 x) (neg.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))) (fma.f64 (neg.f64 (sqrt.f64 (exp.f64 (neg.f64 x)))) (sqrt.f64 (exp.f64 (neg.f64 x))) (.f64 (sqrt.f64 (exp.f64 (neg.f64 x))) (sqrt.f64 (exp.f64 (neg.f64 x)))))) 2)
✓	58.3b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.8b	(/.f64 (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3))) 2)

Compiler

Compiled 22600 to 5751 computations (74.6% saved)

regimes218.0ms (5.4%)

Accuracy

Total -0.0b remaining (-161.4%)

Threshold costs -0.0b (-161.4%)

Counts

69 → 1

Compiler

Compiled 6741 to 3362 computations (50.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	7	9
2	7	9

end61.0ms (1.5%)

Compiler: Compiled 71 to 42 computations (40.8% saved)

Details

analyze5.0ms (0.1%)

sample2.9s (73.2%)

simplify55.0ms (1.4%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

series2.0ms (0.1%)

rewrite6.0ms (0.1%)

simplify80.0ms (2%)

prune26.0ms (0.7%)

localize7.0ms (0.2%)

series3.0ms (0.1%)

rewrite6.0ms (0.2%)

simplify78.0ms (1.9%)

prune25.0ms (0.6%)

localize14.0ms (0.3%)

series16.0ms (0.4%)

rewrite32.0ms (0.8%)

simplify120.0ms (3%)

prune313.0ms (7.8%)

regimes218.0ms (5.4%)

simplify2.0ms (0%)

end61.0ms (1.5%)

Profiling