Details

analyze425.0ms (11%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	50%	25%	4
25%	37.5%	37.5%	5
25%	31.2%	43.8%	6
25%	28.1%	46.9%	7
25%	26.5%	48.5%	8
25%	25.8%	49.2%	9
25%	25.4%	49.6%	10
25%	25.2%	49.8%	11
25%	25.1%	49.9%	12
25%	25%	50%	13
25%	25%	50%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample2.3s (60.3%)

Results

1.1s	8256×	body	128	valid
985.0ms	8325×	body	128	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify176.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

871×	`fma-neg_binary64`
804×	`unsub-neg_binary64`
461×	`distribute-neg-in_binary64`
434×	`sub-neg_binary64`
338×	`distribute-rgt-out_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	18	12
2	22	12
3	37	12
4	64	12
5	113	12
6	247	12
7	500	12
8	1560	12
9	2513	12
10	3218	12
11	3602	12
12	3803	12
13	3974	12
14	4075	12
15	4392	12
16	4836	12
17	4898	12
18	4901	12

prune5.0ms (0.1%)

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

34.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	34.2b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize13.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
✓	31.9b	(sqrt.f64 (fma.f64 x x -1))

series19.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

12.0ms	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
7.0ms	(sqrt.f64 (fma.f64 x x -1))

rewrite11.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`log-prod_binary64`
4×	`add-cube-cbrt_binary64`
4×	`pow1_binary64`

Counts

2 → 32

Calls

2 calls:

6.0ms	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
2.0ms	(sqrt.f64 (fma.f64 x x -1))

simplify130.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

549×	`fma-neg_binary64`
294×	`associate-/l/_binary64`
291×	`sub-neg_binary64`
254×	`distribute-neg-frac_binary64`
221×	`fma-def_binary64`

Counts

56 → 79

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	136	988
1	330	928
2	885	889
3	3023	888
4	4940	888
5	4940	888

prune85.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	77	3	80

Error

Counts

80 → 3

Alt Table

Status	Error	Program
▶	0.8b	(+.f64 (log.f64 2) (log.f64 x))
	0.8b	(log.f64 (+.f64 x x))
✓	34.2b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))

Compiler

Compiled 1306 to 981 computations (24.9% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 (log.f64 2) (log.f64 x))

series67.0ms (1.7%)

Counts

1 → 12

Calls

1 calls:

67.0ms

(+.f64 (log.f64 2) (log.f64 x))

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`*-un-lft-identity_binary64`
6×	`log-prod_binary64`
6×	`pow1_binary64`
5×	`log-pow_binary64`
4×	`distribute-lft-out_binary64`

Counts

1 → 27

Calls

1 calls:

4.0ms

(+.f64 (log.f64 2) (log.f64 x))

simplify90.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

539×	`sub-neg_binary64`
476×	`fma-def_binary64`
458×	`distribute-neg-in_binary64`
398×	`fma-neg_binary64`
397×	`unsub-neg_binary64`

Counts

39 → 38

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	54	363
1	120	344
2	274	342
3	660	342
4	2248	342
5	3872	342
6	4273	342
7	4971	342

prune21.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	38	3	41

Error

Counts

41 → 3

Alt Table

Status	Error	Program
✓	0.8b	(+.f64 (log.f64 2) (log.f64 x))
▶	0.8b	(log.f64 (+.f64 x x))
✓	34.2b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))

Compiler

Compiled 422 to 301 computations (28.7% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(log.f64 (+.f64 x x))

series24.0ms (0.6%)

Counts

1 → 12

Calls

1 calls:

24.0ms

(log.f64 (+.f64 x x))

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary64`
8×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
6×	`add-cube-cbrt_binary64`
3×	`distribute-lft-out_binary64`

Counts

1 → 25

Calls

1 calls:

4.0ms

(log.f64 (+.f64 x x))

simplify127.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

569×	`fma-def_binary64`
495×	`log-prod_binary64`
360×	`distribute-rgt-in_binary64`
332×	`unsub-neg_binary64`
308×	`associate-l_binary64`

Counts

37 → 33

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	374
1	97	331
2	147	331
3	323	329
4	920	329
5	3167	329
6	4431	329
7	4972	329
8	4771	329

prune29.0ms (0.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

36 → 3

Alt Table

Status	Error	Program
✓	0.8b	(+.f64 (log.f64 2) (log.f64 x))
✓	0.8b	(log.f64 (+.f64 x x))
✓	34.2b	(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))

Compiler

Compiled 330 to 151 computations (54.2% saved)

regimes43.0ms (1.1%)

Accuracy

Total 0.7b remaining (99.7%)

Threshold costs 0.7b (99.7%)

Counts

7 → 1

Compiler

Compiled 252 to 187 computations (25.8% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end239.0ms (6.2%)

Compiler: Compiled 32 to 24 computations (25% saved)

Details

analyze425.0ms (11%)

sample2.3s (60.3%)

simplify176.0ms (4.6%)

prune5.0ms (0.1%)

localize13.0ms (0.3%)

series19.0ms (0.5%)

rewrite11.0ms (0.3%)

simplify130.0ms (3.4%)

prune85.0ms (2.2%)

localize10.0ms (0.3%)

series67.0ms (1.7%)

rewrite5.0ms (0.1%)

simplify90.0ms (2.3%)

prune21.0ms (0.5%)

localize4.0ms (0.1%)

series24.0ms (0.6%)

rewrite5.0ms (0.1%)

simplify127.0ms (3.3%)

prune29.0ms (0.8%)

regimes43.0ms (1.1%)

simplify2.0ms (0.1%)

end239.0ms (6.2%)

Profiling