Details

analyze6.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
12.5%	25%	62.5%	4
18.7%	12.5%	68.8%	5
21.9%	6.2%	71.9%	6
23.4%	3.1%	73.5%	7
24.2%	1.6%	74.2%	8
24.6%	0.8%	74.6%	9
24.8%	0.4%	74.8%	10
24.9%	0.2%	74.9%	11
24.9%	0.1%	75%	12
25%	0%	75%	13
25%	0%	75%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample233.0ms (14.2%)

Algorithm

1×

intervals

Results

17.0ms

256×

body

128

valid

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify203.0ms (12.3%)

Algorithm

1×	egg-herbie

Rules

1115×	`distribute-rgt-neg-in_binary64`
788×	`distribute-rgt-out--_binary64`
692×	`unsub-neg_binary64`
492×	`fma-neg_binary64`
461×	`distribute-neg-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	18	20
2	24	20
3	34	20
4	50	20
5	73	20
6	113	20
7	247	20
8	452	20
9	742	20
10	1560	20
11	2338	20
12	2392	20
13	2628	20
14	2776	20
15	2774	20
16	2851	20
17	3110	20
18	3673	20
19	4665	20
20	4910	20
21	4952	20
22	4963	20
23	4960	20
24	6208	20

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.3b	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

Compiler

Compiled 42 to 30 computations (28.6% saved)

localize9.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (-.f64 1 (*.f64 x x)))
✓	0.2b	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

series14.0ms (0.9%)

Counts

2 → 24

Calls

2 calls:

10.0ms	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
5.0ms	(sqrt.f64 (-.f64 1 (*.f64 x x)))

rewrite25.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
15×	`log-prod_binary64`
13×	`times-frac_binary64`
13×	`add-sqr-sqrt_binary64`
8×	`distribute-lft-out_binary64`

Counts

2 → 48

Calls

2 calls:

19.0ms	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))
3.0ms	(sqrt.f64 (-.f64 1 (*.f64 x x)))

simplify91.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

881×	`fma-neg_binary64`
480×	`fma-def_binary64`
315×	`associate-l_binary64`
309×	`associate-r_binary64`
280×	`associate-/r*_binary64`

Counts

72 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	176	1645
1	433	1531
2	1170	1509
3	4102	1476
4	4994	1476
5	4895	1476

prune69.0ms (4.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	107	2	109

Error

Counts

109 → 2

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (log.f64 2) (log.f64 x))
✓	0.3b	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

Compiler

Compiled 2299 to 1631 computations (29.1% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series41.0ms (2.5%)

Counts

1 → 8

Calls

1 calls:

41.0ms

(-.f64 (log.f64 2) (log.f64 x))

rewrite7.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64`
16×	`prod-diff_binary64`
15×	`add-sqr-sqrt_binary64`
15×	`pow1_binary64`
14×	`log-pow_binary64`

Counts

1 → 48

Calls

1 calls:

5.0ms

(-.f64 (log.f64 2) (log.f64 x))

simplify97.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

986×	`fma-neg_binary64`
316×	`cancel-sign-sub-inv_binary64`
296×	`unsub-neg_binary64`
265×	`fma-def_binary64`
258×	`*-commutative_binary64`

Counts

56 → 43

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	87	688
1	154	605
2	455	525
3	1676	525
4	2788	525
5	4521	525
6	4937	525
7	4828	525

prune25.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	43	2	45

Error

Counts

45 → 2

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (log.f64 2) (log.f64 x))
✓	0.3b	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x)))

Compiler

Compiled 688 to 377 computations (45.2% saved)

regimes36.0ms (2.2%)

Accuracy

Total 0.7b remaining (99.6%)

Threshold costs 0.7b (99.6%)

Counts

10 → 1

Compiler

Compiled 340 to 262 computations (22.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	8	8
2	13	8
3	15	8
4	16	8
5	16	8

end1.0ms (0.1%)

Compiler: Compiled 6 to 5 computations (16.7% saved)

sample776.0ms (47.2%)

Algorithm

1×

intervals

Results

563.0ms	8000×	body	128	valid
0.0ms	5×	body	128	nan

Compiler

Compiled 42 to 32 computations (23.8% saved)

Details

analyze6.0ms (0.4%)

sample233.0ms (14.2%)

simplify203.0ms (12.3%)

prune2.0ms (0.1%)

localize9.0ms (0.5%)

series14.0ms (0.9%)

rewrite25.0ms (1.5%)

simplify91.0ms (5.5%)

prune69.0ms (4.2%)

localize5.0ms (0.3%)

series41.0ms (2.5%)

rewrite7.0ms (0.4%)

simplify97.0ms (5.9%)

prune25.0ms (1.5%)

regimes36.0ms (2.2%)

simplify2.0ms (0.1%)

end1.0ms (0.1%)

sample776.0ms (47.2%)

Profiling