Details

analyze576.0ms (22.3%)

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
21.8%	78%	0.1%	7
26.5%	73.3%	0.1%	8
36.7%	63.2%	0.1%	9
41.3%	49.9%	8.7%	10
47.2%	43.3%	9.5%	11
54.4%	35.5%	10.1%	12
57.9%	27.4%	14.7%	13
61.7%	23.2%	15.1%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample25.0ms (1%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	13×	body	128	invalid

Compiler

Compiled 24 to 18 computations (25% saved)

simplify36.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

145×	`distribute-rgt-in_binary64`
135×	`cancel-sign-sub-inv_binary64`
117×	`sub-neg_binary64`
114×	`associate--r+_binary64`
105×	`unsub-neg_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	32	10
3	66	10
4	162	10
5	287	10
6	387	10
7	671	10
8	623	10
9	612	10
10	612	10
11	569	10

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 20 to 14 computations (30% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))

rewrite35.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
6×	`associate-r_binary64`
6×	`cancel-sign-sub-inv_binary64`
5×	`add-cube-cbrt_binary64`

Counts

1 → 38

Calls

1 calls:

7.0ms

(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 587 to 289 computations (50.8% saved)

series28.0ms (1.1%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

21.0ms

(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 365 to 218 computations (40.3% saved)

simplify75.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

629×	`distribute-rgt-in_binary64`
589×	`distribute-lft-in_binary64`
433×	`unsub-neg_binary64`
319×	`distribute-lft-neg-out_binary64`
318×	`distribute-rgt-neg-out_binary64`

Counts

56 → 49

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	100	810
1	284	732
2	899	732
3	2822	732
4	4692	732
5	5010	732

prune17.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	46	3	49
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	4	50

Error

Counts

50 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
	31.0b	(-.f64 x (*.f64 z x))
	42.9b	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3))
▶	0.5b	(.f64 (.f64 (+.f64 y x) (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))) (cbrt.f64 (-.f64 1 z)))

Compiler

Compiled 505 to 276 computations (45.3% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (-.f64 1 z))
0.2b	(cbrt.f64 (-.f64 1 z))
0.2b	(cbrt.f64 (-.f64 1 z))
0.2b	(*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))

rewrite104.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

50×	`cbrt-prod_binary64`
44×	`add-sqr-sqrt_binary64`
42×	`*-un-lft-identity_binary64`
18×	`cbrt-div_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 107

Calls

4 calls:

10.0ms	(*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))
4.0ms	(cbrt.f64 (-.f64 1 z))
3.0ms	(cbrt.f64 (-.f64 1 z))
2.0ms	(cbrt.f64 (-.f64 1 z))

Compiler

Compiled 2486 to 1763 computations (29.1% saved)

series57.0ms (2.2%)

Error

Counts

4 → 30

Calls

4 calls:

15.0ms	(*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))
9.0ms	(cbrt.f64 (-.f64 1 z))
8.0ms	(cbrt.f64 (-.f64 1 z))
7.0ms	(cbrt.f64 (-.f64 1 z))

Compiler

Compiled 1583 to 1225 computations (22.6% saved)

simplify139.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

518×	`sub-neg_binary64`
493×	`cancel-sign-sub-inv_binary64`
353×	`*-commutative_binary64`
337×	`sqr-pow_binary64`
244×	`neg-mul-1_binary64`

Counts

137 → 108

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	129	2080
1	267	2022
2	680	1892
3	1687	1818
4	3586	1655
5	4175	1655
6	4787	1655

prune52.0ms (2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	108	4	112

Error

Counts

112 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
▶	31.0b	(-.f64 x (*.f64 z x))
	42.9b	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3))
✓	0.5b	(.f64 (.f64 (+.f64 y x) (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))) (cbrt.f64 (-.f64 1 z)))

Compiler

Compiled 1623 to 1103 computations (32% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 x (*.f64 z x))

rewrite8.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64`
2×	`*-un-lft-identity_binary64`
1×	`distribute-rgt-out--_binary64`
1×	`cancel-sign-sub-inv_binary64`
1×	`flip--_binary64`

Counts

1 → 13

Calls

1 calls:

2.0ms

(-.f64 x (*.f64 z x))

Compiler

Compiled 151 to 47 computations (68.9% saved)

series11.0ms (0.4%)

Error

Counts

1 → 9

Calls

1 calls:

9.0ms

(-.f64 x (*.f64 z x))

Compiler

Compiled 146 to 100 computations (31.5% saved)

simplify79.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

998×	`times-frac_binary64`
340×	`neg-sub0_binary64`
335×	`neg-mul-1_binary64`
332×	`distribute-rgt-neg-in_binary64`
312×	`distribute-rgt-in_binary64`

Counts

22 → 15

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	225
1	94	207
2	258	204
3	737	204
4	2117	204
5	3469	204
6	4510	204
7	5825	204

prune6.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	15	4	19

Error

Counts

19 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
✓	31.0b	(-.f64 x (*.f64 z x))
▶	42.9b	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3))
✓	0.5b	(.f64 (.f64 (+.f64 y x) (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))) (cbrt.f64 (-.f64 1 z)))

Compiler

Compiled 174 to 110 computations (36.8% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 1 z) (+.f64 y x))
0.1b	(pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3)
40.2b	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3))

rewrite61.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`cube-div_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`frac-times_binary64`
9×	`flip--_binary64`

Counts

3 → 87

Calls

3 calls:

8.0ms	(pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3)
7.0ms	(*.f64 (-.f64 1 z) (+.f64 y x))
3.0ms	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3))

Compiler

Compiled 1651 to 991 computations (40% saved)

series197.0ms (7.6%)

Error

Counts

3 → 72

Calls

3 calls:

130.0ms	(pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3)
22.0ms	(*.f64 (-.f64 1 z) (+.f64 y x))
20.0ms	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3))

Compiler

Compiled 4916 to 3613 computations (26.5% saved)

simplify195.0ms (7.6%)

Algorithm

1×	egg-herbie

Rules

318×	`associate-r_binary64`
300×	`unswap-sqr_binary64`
285×	`associate-l_binary64`
251×	`sub-neg_binary64`
242×	`exp-prod_binary64`

Counts

159 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	6553
1	796	6172
2	3484	6156
3	4858	6156
4	5132	6156

prune42.0ms (1.6%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	126	4	130

Error

Counts

130 → 4

Alt Table

Status	Error	Program
	0.0b	(*.f64 (+.f64 x y) (-.f64 1 z))
	31.0b	(-.f64 x (*.f64 z x))
	42.9b	(cbrt.f64 (pow.f64 (*.f64 (-.f64 1 z) (+.f64 y x)) 3))
	0.5b	(.f64 (.f64 (+.f64 y x) (*.f64 (cbrt.f64 (-.f64 1 z)) (cbrt.f64 (-.f64 1 z)))) (cbrt.f64 (-.f64 1 z)))

Compiler

Compiled 1955 to 1053 computations (46.1% saved)

regimes214.0ms (8.3%)

Accuracy

Total 0.0b remaining (44.4%)

Threshold costs 0.0b (44.4%)

Compiler

Compiled 3572 to 2507 computations (29.8% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
7×	`*-commutative_binary64`
6×	`neg-sub0_binary64`
5×	`sub-neg_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	15
1	20	15
2	25	13
3	31	13
4	43	13
5	51	13
6	56	13
7	58	13
8	56	13

end5.0ms (0.2%)

Remove: (sort x y)
Compiler: Compiled 36 to 18 computations (50% saved)

sample585.0ms (22.7%)

Algorithm

1×

intervals

Results

247.0ms	7998×	body	128	valid
17.0ms	587×	body	128	invalid
0.0ms	2×	body	1024	valid

Compiler

Compiled 78 to 55 computations (29.5% saved)

Iter	Nodes	Cost
0	8	10
1	14	10
2	32	10
3	66	10
4	162	10
5	287	10
6	387	10
7	671	10
8	623	10
9	612	10
10	612	10
11	569	10

Iter	Nodes	Cost
0	8	10
1	14	10
2	32	10
3	66	10
4	162	10
5	287	10
6	387	10
7	671	10
8	623	10
9	612	10
10	612	10
11	569	10

Details

analyze576.0ms (22.3%)

sample25.0ms (1%)

simplify36.0ms (1.4%)

prune1.0ms (0%)

localize5.0ms (0.2%)

rewrite35.0ms (1.4%)

series28.0ms (1.1%)

simplify75.0ms (2.9%)

prune17.0ms (0.7%)

localize10.0ms (0.4%)

rewrite104.0ms (4%)

series57.0ms (2.2%)

simplify139.0ms (5.4%)

prune52.0ms (2%)

localize3.0ms (0.1%)

rewrite8.0ms (0.3%)

series11.0ms (0.4%)

simplify79.0ms (3.1%)

prune6.0ms (0.2%)

localize9.0ms (0.3%)

rewrite61.0ms (2.4%)

series197.0ms (7.6%)

simplify195.0ms (7.6%)

prune42.0ms (1.6%)

regimes214.0ms (8.3%)

simplify4.0ms (0.2%)

end5.0ms (0.2%)

sample585.0ms (22.7%)

Profiling

Iter	Nodes	Cost
0	8	10
1	14	10
2	32	10
3	66	10
4	162	10
5	287	10
6	387	10
7	671	10
8	623	10
9	612	10
10	612	10
11	569	10