Details

analyze109.0ms (4.1%)

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
50%	50%	0.1%	5
50%	50%	0.1%	6
62.4%	34.3%	3.2%	7
62.4%	32.8%	4.8%	8
68.7%	21.1%	10.2%	9
68.7%	19.1%	12.2%	10
71.8%	11.5%	16.7%	11
71.8%	10.2%	18%	12
73.4%	6%	20.6%	13
73.4%	5.3%	21.3%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample735.0ms (27.8%)

Results

676.0ms	8256×	body	128	valid
34.0ms	414×	body	128	invalid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`associate-/r*_binary64`
1×	`sub-neg_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	10
2	13	10
3	12	10

prune1.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

7.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	7.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	11.9b	(/.f64 x (*.f64 y y))

series22.0ms (0.8%)

Counts

1 → 24

Calls

1 calls:

22.0ms

(/.f64 x (*.f64 y y))

rewrite42.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

529×	`log1p-expm1-u_binary64`
529×	`expm1-log1p-u_binary64`
376×	`unpow-prod-down_binary64`
274×	`log-prod_binary64`
141×	`pow2_binary64`

Counts

1 → 69

Calls

1 calls:

40.0ms

(/.f64 x (*.f64 y y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	106	7
2	1367	7
3	5328	7
0	0	0
1	0	0

simplify143.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

93 → 70

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	19	168
3	34	168
4	70	168
5	166	168
6	491	168
7	1148	168
8	1150	168
9	1298	168
10	1468	168
11	1647	168
12	1872	168
13	2157	168
14	2576	168
15	3141	168
16	3827	168
17	4045	168
18	4289	168
19	4371	168
20	4404	168
21	4425	168
22	4993	168

prune50.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	66	5	71

Error

0.0b

Counts

71 → 5

Alt Table

Status	Error	Program
	7.6b	(-.f64 (*.f64 x (pow.f64 y -2)) 3)
	34.9b	(-.f64 (*.f64 (pow.f64 (/.f64 y (sqrt.f64 x)) -1) (pow.f64 (/.f64 y (sqrt.f64 x)) -1)) 3)
	0.5b	(-.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) y) (/.f64 (cbrt.f64 x) y)) 3)
▶	0.1b	(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)
✓	7.1b	(-.f64 (/.f64 x (*.f64 y y)) 3)

Compiler

Compiled 1082 to 606 computations (44% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (/.f64 x y) (/.f64 1 y))

series21.0ms (0.8%)

Counts

1 → 24

Calls

1 calls:

21.0ms

(*.f64 (/.f64 x y) (/.f64 1 y))

rewrite43.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

665×	`log1p-expm1-u_binary64`
665×	`expm1-log1p-u_binary64`
362×	`log-prod_binary64`
121×	`expm1-udef_binary64`
121×	`log1p-udef_binary64`

Counts

1 → 47

Calls

1 calls:

42.0ms

(*.f64 (/.f64 x y) (/.f64 1 y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	146	7
2	1765	7
3	5453	7
0	0	0
1	0	0

simplify158.0ms (6%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

71 → 48

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	19	168
3	34	168
4	70	168
5	166	168
6	491	168
7	1148	168
8	1150	168
9	1298	168
10	1468	168
11	1647	168
12	1872	168
13	2157	168
14	2576	168
15	3141	168
16	3827	168
17	4045	168
18	4289	168
19	4371	168
20	4404	168
21	4425	168
22	4993	168

prune35.0ms (1.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	2	1	3
Picked	0	1	1
Done	1	0	1
Total	48	5	53

Error

0.0b

Counts

53 → 5

Alt Table

Status	Error	Program
	7.6b	(-.f64 (*.f64 x (pow.f64 y -2)) 3)
	7.1b	(-.f64 (/.f64 (neg.f64 x) (neg.f64 (*.f64 y y))) 3)
	0.1b	(-.f64 (/.f64 1 (*.f64 (/.f64 y x) y)) 3)
✓	0.1b	(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)
▶	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 603 to 321 computations (46.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 x y) y)

series21.0ms (0.8%)

Counts

1 → 24

Calls

1 calls:

21.0ms

(/.f64 (/.f64 x y) y)

rewrite244.0ms (9.2%)

Algorithm

2×	batch-egg-rewrite

Rules

595×	`log1p-expm1-u_binary64`
595×	`expm1-log1p-u_binary64`
321×	`log-prod_binary64`
246×	`prod-diff_binary64`
112×	`log-div_binary64`

Counts

1 → 43

Calls

1 calls:

243.0ms

(/.f64 (/.f64 x y) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	109	7
2	1543	7
3	4972	7
4	5455	7
0	0	0
1	0	0

simplify295.0ms (11.1%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

67 → 45

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	19	168
3	34	168
4	70	168
5	166	168
6	491	168
7	1148	168
8	1150	168
9	1298	168
10	1468	168
11	1647	168
12	1872	168
13	2157	168
14	2576	168
15	3141	168
16	3827	168
17	4045	168
18	4289	168
19	4371	168
20	4404	168
21	4425	168
22	4993	168

prune29.0ms (1.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	45	5	50

Error

0.0b

Counts

50 → 5

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)
	7.1b	(-.f64 (/.f64 x (pow.f64 y 2)) 3)
	7.6b	(-.f64 (*.f64 x (pow.f64 y -2)) 3)
▶	0.1b	(-.f64 (/.f64 1 (*.f64 (/.f64 y x) y)) 3)
✓	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 627 to 314 computations (49.9% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (/.f64 y x) y)
✓	0.5b	(/.f64 1 (*.f64 (/.f64 y x) y))

series32.0ms (1.2%)

Counts

2 → 48

Calls

2 calls:

23.0ms	(/.f64 1 (*.f64 (/.f64 y x) y))
9.0ms	(*.f64 (/.f64 y x) y)

rewrite43.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

677×	`log1p-expm1-u_binary64`
677×	`expm1-log1p-u_binary64`
125×	`expm1-udef_binary64`
125×	`log1p-udef_binary64`
116×	`log-pow_binary64`

Counts

2 → 59

Calls

2 calls:

42.0ms	(*.f64 (/.f64 y x) y)
42.0ms	(/.f64 1 (*.f64 (/.f64 y x) y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	146	14
2	1798	14
3	4950	14
0	0	0
1	0	0

simplify118.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

786×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
428×	`*-commutative_binary64`
423×	`associate-*r/_binary64`
405×	`associate-/r/_binary64`

Counts

107 → 62

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	336
1	12	336
2	21	336
3	39	336
4	85	336
5	220	336
6	732	336
7	1898	336
8	2513	336
9	2660	336
10	2828	336
11	2941	336
12	3117	336
13	3391	336
14	3872	336
15	4431	336
16	4789	336

prune41.0ms (1.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	61	6	67

Error

Counts

67 → 6

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (*.f64 (/.f64 x y) (/.f64 1 y)) 3)
	7.1b	(-.f64 (/.f64 x (pow.f64 y 2)) 3)
	7.6b	(-.f64 (*.f64 x (pow.f64 y -2)) 3)
	18.5b	(-.f64 (sqrt.f64 (pow.f64 (*.f64 y (/.f64 y x)) -2)) 3)
✓	0.1b	(-.f64 (/.f64 1 (*.f64 (/.f64 y x) y)) 3)
✓	0.1b	(-.f64 (/.f64 (/.f64 x y) y) 3)

Compiler

Compiled 763 to 418 computations (45.2% saved)

regimes94.0ms (3.6%)

Accuracy

Total 0.1b remaining (88.2%)

Threshold costs 0.1b (88.2%)

Counts

19 → 1

Compiler

Compiled 1341 to 924 computations (31.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	11	10
3	10	10

end337.0ms (12.7%)

Compiler: Compiled 79 to 57 computations (27.8% saved)

Details

analyze109.0ms (4.1%)

sample735.0ms (27.8%)

simplify9.0ms (0.3%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series22.0ms (0.8%)

rewrite42.0ms (1.6%)

simplify143.0ms (5.4%)

prune50.0ms (1.9%)

localize5.0ms (0.2%)

series21.0ms (0.8%)

rewrite43.0ms (1.6%)

simplify158.0ms (6%)

prune35.0ms (1.3%)

localize5.0ms (0.2%)

series21.0ms (0.8%)

rewrite244.0ms (9.2%)

simplify295.0ms (11.1%)

prune29.0ms (1.1%)

localize6.0ms (0.2%)

series32.0ms (1.2%)

rewrite43.0ms (1.6%)

simplify118.0ms (4.5%)

prune41.0ms (1.6%)

regimes94.0ms (3.6%)

simplify3.0ms (0.1%)

end337.0ms (12.7%)

Profiling