Details

analyze93.0ms (7.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample740.0ms (62.5%)

Results

723.0ms

8256×

body

128

valid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess15.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

5×	`*-commutative_binary64`
4×	`associate-/l*_binary64`
4×	`associate-/r/_binary64`
2×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	19	20
2	27	20
3	33	20
4	35	20
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify10.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`
1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	13	10
2	17	10
3	20	10
4	21	10

Stop Event

1×

saturated

Counts

1 → 2

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 x (/.f64 y (+.f64 y 1)))

Compiler

Compiled 34 to 22 computations (35.3% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 y (+.f64 y 1))

series2.0ms (0.2%)

Counts

1 → 12

Calls

3 calls:

1.0ms	(/.f64 y (+.f64 y 1))	y	0
1.0ms	(/.f64 y (+.f64 y 1))	y	-inf
1.0ms	(/.f64 y (+.f64 y 1))	y	inf

rewrite37.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

561×	`log1p-expm1-u_binary64`
561×	`expm1-log1p-u_binary64`
256×	`log-prod_binary64`
105×	`fma-def_binary64`
97×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	109	7
2	1484	7

Stop Event

1×	node limit

Counts

1 → 40

simplify23.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

855×	`fma-neg_binary64`
215×	`fma-def_binary64`
209×	`sub-neg_binary64`
177×	`distribute-lft-out_binary64`
169×	`unswap-sqr_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	138
1	60	136
2	162	131
3	474	131
4	1962	130

Stop Event

1×	node limit

Counts

52 → 54

prune32.0ms (2.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	53	1	54
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	2	55

Error

Counts

55 → 2

Alt Table

Status	Error	Program
▶	32.3b	(*.f64 x (-.f64 y (pow.f64 y 2)))
✓	0.0b	(*.f64 x (/.f64 y (+.f64 y 1)))

Compiler

Compiled 680 to 456 computations (32.9% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 y (pow.f64 y 2))
✓	3.1b	(*.f64 x (-.f64 y (pow.f64 y 2)))

series11.0ms (0.9%)

Counts

2 → 27

Calls

9 calls:

2.0ms	(*.f64 x (-.f64 y (pow.f64 y 2)))	x	-inf
2.0ms	(*.f64 x (-.f64 y (pow.f64 y 2)))	x	0
2.0ms	(*.f64 x (-.f64 y (pow.f64 y 2)))	x	inf
1.0ms	(*.f64 x (-.f64 y (pow.f64 y 2)))	y	-inf
1.0ms	(*.f64 x (-.f64 y (pow.f64 y 2)))	y	inf

rewrite64.0ms (5.4%)

Algorithm

1×	batch-egg-rewrite

Rules

706×	`log1p-expm1-u_binary64`
706×	`expm1-log1p-u_binary64`
514×	`prod-diff_binary64`
100×	`egg-rr`
74×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	153	17
2	1962	17

Stop Event

1×	node limit

Counts

2 → 100

simplify35.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

360×	`fma-neg_binary64`
274×	`associate-l_binary64`
266×	`distribute-rgt-in_binary64`
250×	`unswap-sqr_binary64`
233×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	245
1	30	245
2	62	245
3	157	245
4	469	245
5	1697	245
6	3905	245

Stop Event

1×	node limit

Counts

127 → 109

prune45.0ms (3.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	109	2	111

Error

Counts

111 → 2

Alt Table

Status	Error	Program
✓	32.3b	(*.f64 x (-.f64 y (pow.f64 y 2)))
✓	0.0b	(*.f64 x (/.f64 y (+.f64 y 1)))

Compiler

Compiled 2077 to 770 computations (62.9% saved)

regimes27.0ms (2.3%)

Accuracy

Total 0.0b remaining (17.8%)

Threshold costs 0.0b (17.8%)

Counts

7 → 1

Compiler

Compiled 180 to 119 computations (33.9% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10

Stop Event

1×

saturated

end35.0ms (3%)

Stop Event

1×

done

Compiler

Compiled 36 to 24 computations (33.3% saved)

Details

analyze93.0ms (7.9%)

sample740.0ms (62.5%)

preprocess15.0ms (1.3%)

simplify10.0ms (0.9%)

prune3.0ms (0.2%)

localize4.0ms (0.3%)

series2.0ms (0.2%)

rewrite37.0ms (3.1%)

simplify23.0ms (1.9%)

prune32.0ms (2.7%)

localize4.0ms (0.3%)

series11.0ms (0.9%)

rewrite64.0ms (5.4%)

simplify35.0ms (2.9%)

prune45.0ms (3.8%)

regimes27.0ms (2.3%)

simplify2.0ms (0.2%)

end35.0ms (3%)

Profiling