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.8s (89.5%)

Results

1.8s	4160×	body	1024	valid
520.0ms	1988×	body	512	valid
206.0ms	424×	body	2048	valid
177.0ms	1026×	body	256	valid
64.0ms	658×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify54.0ms (1.7%)

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

59.1b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 35 to 25 computations (28.6% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	7.3b	(-.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)))

rewrite16.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

68×	`add-sqr-sqrt_binary64`
65×	`log1p-expm1-u_binary64`
65×	`expm1-log1p-u_binary64`
64×	`add-log-exp_binary64`
62×	`add-cbrt-cube_binary64`

Counts

1 → 0

Calls

1 calls:

16.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	6
1	130	6
2	71	6
0	0	0
1	0	0

simplify67.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

704×	`fma-def_binary64`
676×	`unswap-sqr_binary64`
328×	`associate-l_binary64`
309×	`*-commutative_binary64`
305×	`associate-*l/_binary64`

Counts

8 → 9

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	98
1	64	98
2	145	98
3	321	98
4	579	98
5	1161	98
6	1669	98
7	2683	98
8	4571	98
9	4964	98
10	4734	98

prune9.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	8	1	9
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	2	10

Error

Counts

10 → 2

Alt Table

Status	Error	Program
▶	0.2b	(/.f64 (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3))) 2)
✓	59.1b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Compiler

Compiled 150 to 120 computations (20% saved)

localize5.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))

rewrite74.0ms (2.4%)

Algorithm

2×	batch-egg-rewrite

Rules

873×	`log1p-udef_binary64`
475×	`log1p-expm1-u_binary64`
475×	`expm1-log1p-u_binary64`
319×	`unpow-prod-down_binary64`
235×	`log-prod_binary64`

Counts

1 → 17

Calls

1 calls:

73.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1261	7
3	4816	7
4	6163	7
0	0	0
1	0	0

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune10.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	17	2	19

Error

Counts

19 → 2

Alt Table

Status	Error	Program
✓	0.2b	(/.f64 (fma.f64 2 x (*.f64 1/3 (pow.f64 x 3))) 2)
✓	59.1b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Compiler

Compiled 246 to 206 computations (16.3% saved)

regimes17.0ms (0.5%)

Accuracy

Total 0.7b remaining (95.8%)

Threshold costs 0.7b (95.8%)

Counts

4 → 1

Compiler

Compiled 150 to 119 computations (20.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	13	16
2	13	16

end48.0ms (1.5%)

Compiler: Compiled 44 to 36 computations (18.2% saved)

Details

analyze5.0ms (0.1%)

sample2.8s (89.5%)

simplify54.0ms (1.7%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite16.0ms (0.5%)

simplify67.0ms (2.1%)

prune9.0ms (0.3%)

localize5.0ms (0.2%)

series3.0ms (0.1%)

rewrite74.0ms (2.4%)

simplify9.0ms (0.3%)

prune10.0ms (0.3%)

regimes17.0ms (0.5%)

simplify2.0ms (0.1%)

end48.0ms (1.5%)

Profiling