Details

analyze415.0ms (7.7%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
28.1%	71.8%	0.1%	9
37.4%	49.9%	12.6%	10
43.7%	43.7%	12.6%	11
49.1%	38.2%	12.6%	12
54.6%	26.5%	18.9%	13
58.5%	22.6%	18.9%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample894.0ms (16.6%)

Results

800.0ms	8256×	body	128	valid
65.0ms	684×	body	128	invalid

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`associate-r_binary64`
1×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	12	8
2	16	8
3	17	8
4	17	8

prune2.0ms (0%)

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

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 x (.f64 (.f64 y z) z))

Compiler

Compiled 36 to 19 computations (47.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 y z) z)

series9.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(*.f64 (*.f64 y z) z)

rewrite4.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

(*.f64 (*.f64 y z) z)

simplify55.0ms (1%)

Algorithm

1×	egg-herbie

Rules

723×	`fma-def_binary64`
373×	`associate-l_binary64`
319×	`unswap-sqr_binary64`
312×	`associate-*r/_binary64`
263×	`associate-*l/_binary64`

Counts

44 → 29

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	389
1	95	344
2	300	344
3	591	342
4	859	342
5	1608	342
6	4153	342
7	4970	342

prune19.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	26	3	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	4	30

Error

0.0b

Counts

30 → 4

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
▶	0.5b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
	0.5b	(+.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (.f64 y z) z)) (cbrt.f64 (.f64 (.f64 y z) z))) (cbrt.f64 (.f64 (.f64 y z) z))))
	4.0b	(+.f64 x (*.f64 y (pow.f64 z 2)))

Compiler

Compiled 453 to 166 computations (63.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
✓	0.2b	(.f64 (.f64 y z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
✓	0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
✓	0.6b	(cbrt.f64 z)

series656.0ms (12.2%)

Counts

4 → 72

Calls

4 calls:

557.0ms	(.f64 (.f64 y z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
44.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
34.0ms	(cbrt.f64 z)
20.0ms	(.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))

rewrite28.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`pow1_binary64`
36×	`add-exp-log_binary64`
23×	`pow-prod-down_binary64`
23×	`add-sqr-sqrt_binary64`
22×	`cbrt-unprod_binary64`

Counts

4 → 111

Calls

4 calls:

12.0ms	(.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z))
6.0ms	(.f64 (.f64 y z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))
4.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)

simplify125.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

500×	`*-commutative_binary64`
399×	`sqr-pow_binary64`
371×	`log-prod_binary64`
354×	`exp-prod_binary64`
292×	`associate-l_binary64`

Counts

183 → 149

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	125	1908
1	266	1583
2	1042	1476
3	1881	1448
4	3762	1300
5	4503	1296
6	4789	1296
7	4848	1296

prune160.0ms (3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	182	3	185
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	182	7	189

Error

0.0b

Counts

189 → 7

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
	2.6b	(+.f64 x (.f64 (.f64 y (.f64 z (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z)))
✓	0.5b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
▶	0.5b	(+.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (.f64 y z) z)) (cbrt.f64 (.f64 (.f64 y z) z))) (cbrt.f64 (.f64 (.f64 y z) z))))
	4.0b	(+.f64 x (*.f64 y (pow.f64 z 2)))
	0.5b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (.f64 (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z))))) (cbrt.f64 z)))
	0.7b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))) (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))))) (cbrt.f64 z)))

Compiler

Compiled 3603 to 1070 computations (70.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 (.f64 y z) z)
✓	0.2b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 y z) z)) (cbrt.f64 (.f64 (.f64 y z) z))) (cbrt.f64 (.f64 (.f64 y z) z)))
✓	0.4b	(.f64 (cbrt.f64 (.f64 (.f64 y z) z)) (cbrt.f64 (.f64 (*.f64 y z) z)))
✓	20.5b	(cbrt.f64 (.f64 (.f64 y z) z))

series1.1s (20.1%)

Counts

3 → 72

Calls

3 calls:

577.0ms

(*.f64 (cbrt.f64 (*.f64 (*.f64 y z) z)) (cbrt.f64 (*.f64 (*.f64 y z) z)))

479.0ms

(cbrt.f64 (*.f64 (*.f64 y z) z))

23.0ms

(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y z) z)) (cbrt.f64 (*.f64 (*.f64 y z) z))) (cbrt.f64 (*.f64 (*.f64 y z) z)))

rewrite19.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
16×	`pow1/3_binary64`
11×	`pow-prod-up_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`add-exp-log_binary64`

Counts

3 → 79

Calls

3 calls:

7.0ms

(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y z) z)) (cbrt.f64 (*.f64 (*.f64 y z) z))) (cbrt.f64 (*.f64 (*.f64 y z) z)))

4.0ms

(*.f64 (cbrt.f64 (*.f64 (*.f64 y z) z)) (cbrt.f64 (*.f64 (*.f64 y z) z)))

4.0ms

(cbrt.f64 (*.f64 (*.f64 y z) z))

simplify117.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

651×	`unswap-sqr_binary64`
407×	`fma-neg_binary64`
356×	`fma-def_binary64`
202×	`exp-prod_binary64`
202×	`log-prod_binary64`

Counts

151 → 130

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	136	2220
1	278	1992
2	681	1634
3	1466	1454
4	4527	1450
5	4958	1450
6	4975	1450

prune283.0ms (5.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	271	2	273
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	272	8	280

Error

Counts

280 → 8

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
	2.6b	(+.f64 x (.f64 (.f64 y (.f64 z (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z)))
▶	0.4b	(+.f64 x (.f64 (.f64 (cbrt.f64 (.f64 y z)) (.f64 (cbrt.f64 z) (cbrt.f64 (.f64 (.f64 y z) z)))) (cbrt.f64 (.f64 (.f64 y z) z))))
	11.4b	(+.f64 x (.f64 (cbrt.f64 (.f64 (.f64 (.f64 y z) z) (.f64 (.f64 y z) z))) (cbrt.f64 (.f64 (.f64 y z) z))))
✓	0.5b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
	4.0b	(+.f64 x (*.f64 y (pow.f64 z 2)))
	0.5b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (.f64 (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z))))) (cbrt.f64 z)))
	0.7b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))) (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))))) (cbrt.f64 z)))

Compiler

Compiled 7249 to 1663 computations (77.1% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 z) (cbrt.f64 (.f64 (*.f64 y z) z)))
	0.6b	(cbrt.f64 z)
✓	10.2b	(cbrt.f64 (*.f64 y z))
	20.5b	(cbrt.f64 (.f64 (.f64 y z) z))

series850.0ms (15.8%)

Counts

2 → 48

Calls

2 calls:

491.0ms	(.f64 (cbrt.f64 z) (cbrt.f64 (.f64 (*.f64 y z) z)))
358.0ms	(cbrt.f64 (*.f64 y z))

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64`
6×	`associate-l_binary64`
6×	`cbrt-prod_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`

Counts

2 → 37

Calls

2 calls:

4.0ms	(.f64 (cbrt.f64 z) (cbrt.f64 (.f64 (*.f64 y z) z)))
1.0ms	(cbrt.f64 (*.f64 y z))

simplify99.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

708×	`fma-def_binary64`
503×	`fma-neg_binary64`
379×	`associate-l_binary64`
315×	`*-commutative_binary64`
267×	`associate-r_binary64`

Counts

85 → 75

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	87	1089
1	178	1089
2	371	1017
3	768	912
4	1699	904
5	3425	899
6	4841	899
7	4905	899

prune159.0ms (3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	149	8	157

Error

Counts

157 → 8

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (.f64 (.f64 y z) z))
	2.6b	(+.f64 x (.f64 (.f64 y (.f64 z (.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 z)))
✓	0.4b	(+.f64 x (.f64 (.f64 (cbrt.f64 (.f64 y z)) (.f64 (cbrt.f64 z) (cbrt.f64 (.f64 (.f64 y z) z)))) (cbrt.f64 (.f64 (.f64 y z) z))))
	11.4b	(+.f64 x (.f64 (cbrt.f64 (.f64 (.f64 (.f64 y z) z) (.f64 (.f64 y z) z))) (cbrt.f64 (.f64 (.f64 y z) z))))
✓	0.5b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))
	4.0b	(+.f64 x (*.f64 y (pow.f64 z 2)))
	0.5b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (cbrt.f64 z) (.f64 (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z))))) (cbrt.f64 z)))
	0.7b	(+.f64 x (.f64 (.f64 (.f64 y z) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))) (.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))))) (cbrt.f64 z)))

Compiler

Compiled 4316 to 1082 computations (74.9% saved)

regimes259.0ms (4.8%)

Accuracy

Total 0.1b remaining (70.2%)

Threshold costs 0.1b (70.2%)

Counts

44 → 1

Compiler

Compiled 4780 to 2515 computations (47.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

end90.0ms (1.7%)

Compiler: Compiled 185 to 89 computations (51.9% saved)

Details

analyze415.0ms (7.7%)

sample894.0ms (16.6%)

simplify6.0ms (0.1%)

prune2.0ms (0%)

localize4.0ms (0.1%)

series9.0ms (0.2%)

rewrite4.0ms (0.1%)

simplify55.0ms (1%)

prune19.0ms (0.4%)

localize8.0ms (0.1%)

series656.0ms (12.2%)

rewrite28.0ms (0.5%)

simplify125.0ms (2.3%)

prune160.0ms (3%)

localize10.0ms (0.2%)

series1.1s (20.1%)

rewrite19.0ms (0.3%)

simplify117.0ms (2.2%)

prune283.0ms (5.3%)

localize11.0ms (0.2%)

series850.0ms (15.8%)

rewrite9.0ms (0.2%)

simplify99.0ms (1.8%)

prune159.0ms (3%)

regimes259.0ms (4.8%)

simplify2.0ms (0%)

end90.0ms (1.7%)

Profiling