Details

analyze1.1s (33.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
5.8%	94%	0.2%	9
7.6%	92.2%	0.2%	10
11.6%	88.2%	0.2%	11
18.5%	81.3%	0.2%	12
32.3%	66.9%	0.8%	13
37%	62.2%	0.8%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.3s (37.2%)

Symmetry

(sort x y)

Results

1.0s	8256×	body	128	valid
172.0ms	1576×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify169.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1483×	`associate-/l/_binary64`
1068×	`associate-/l*_binary64`
1015×	`associate-/r/_binary64`
675×	`*-commutative_binary64`
404×	`sqr-pow_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	17	10
2	41	7
3	91	7
4	366	7
5	1228	7
6	1212	7
7	1225	7
8	1238	7
9	1245	7
10	1252	7
11	1259	7
12	1266	7
13	1273	7
14	1280	7
15	1287	7
16	1294	7
17	1301	7
18	1308	7
19	1315	7
20	1322	7
21	3032	7
22	2753	7
23	2781	7
24	2833	7
25	2977	7
26	3074	7
27	3494	7
28	3743	7
29	4033	7
30	4473	7
31	5028	7

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

7.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	14.1b	(.f64 x (/.f64 (.f64 (/.f64 y z) t) t))
▶	7.4b	(*.f64 x (/.f64 y z))

Compiler

Compiled 62 to 37 computations (40.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

10.0ms

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

rewrite42.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

628×	`log1p-expm1-u_binary64`
628×	`expm1-log1p-u_binary64`
349×	`log-prod_binary64`
119×	`expm1-udef_binary64`
119×	`log1p-udef_binary64`

Counts

1 → 28

Calls

1 calls:

42.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1628	7
3	5106	7

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`

Counts

64 → 29

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	252
1	9	252
2	13	252
3	16	252
4	17	252
5	17	252

prune21.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	24	5	29
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	25	6	31

Error

0.0b

Counts

31 → 6

Alt Table

Status	Error	Program
	7.9b	(pow.f64 (cbrt.f64 (*.f64 x (/.f64 y z))) 3)
	38.5b	(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
	5.3b	(/.f64 1 (/.f64 z (*.f64 x y)))
	7.4b	(/.f64 x (/.f64 z y))
▶	5.1b	(/.f64 (*.f64 y x) z)
✓	7.4b	(*.f64 x (/.f64 y z))

Compiler

Compiled 368 to 172 computations (53.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.3%)

Counts

1 → 0

Calls

1 calls:

10.0ms

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

rewrite43.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

659×	`log1p-expm1-u_binary64`
659×	`expm1-log1p-u_binary64`
367×	`log-prod_binary64`
119×	`expm1-udef_binary64`
119×	`log1p-udef_binary64`

Counts

1 → 47

Calls

1 calls:

42.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1688	7
3	5384	7

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune27.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	47	6	53

Error

Counts

53 → 6

Alt Table

Status	Error	Program
	38.5b	(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
	5.3b	(/.f64 1 (/.f64 z (*.f64 x y)))
	5.1b	(.f64 (.f64 y x) (/.f64 1 z))
▶	4.4b	(.f64 y (.f64 x (/.f64 1 z)))
	4.6b	(*.f64 y (/.f64 1 (/.f64 z x)))
✓	7.4b	(*.f64 x (/.f64 y z))

Compiler

Compiled 600 to 247 computations (58.8% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series19.0ms (0.6%)

Counts

2 → 60

Calls

2 calls:

10.0ms	(.f64 y (.f64 x (/.f64 1 z)))
8.0ms	(*.f64 x (/.f64 1 z))

rewrite78.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

692×	`log1p-expm1-u_binary64`
692×	`expm1-log1p-u_binary64`
137×	`expm1-udef_binary64`
137×	`log1p-udef_binary64`
133×	`prod-diff_binary64`

Counts

2 → 45

Calls

2 calls:

77.0ms	(*.f64 x (/.f64 1 z))
77.0ms	(.f64 y (.f64 x (/.f64 1 z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	161	11
2	1842	11
3	4984	11
4	5223	11

simplify14.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`

Counts

105 → 45

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	348
1	10	348
2	14	348
3	16	348
4	17	348
5	17	348

prune23.0ms (0.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	45	6	51

Error

Counts

51 → 6

Alt Table

Status	Error	Program
	38.5b	(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
	5.3b	(/.f64 1 (/.f64 z (*.f64 x y)))
	5.1b	(.f64 (.f64 y x) (/.f64 1 z))
✓	4.4b	(.f64 y (.f64 x (/.f64 1 z)))
▶	4.6b	(*.f64 y (/.f64 1 (/.f64 z x)))
✓	7.4b	(*.f64 x (/.f64 y z))

Compiler

Compiled 483 to 251 computations (48% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.6b	(/.f64 1 (/.f64 z x))
✓	4.2b	(*.f64 y (/.f64 1 (/.f64 z x)))

series17.0ms (0.5%)

Counts

2 → 60

Calls

2 calls:

11.0ms	(*.f64 y (/.f64 1 (/.f64 z x)))
6.0ms	(/.f64 1 (/.f64 z x))

rewrite46.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

775×	`log1p-expm1-u_binary64`
775×	`expm1-log1p-u_binary64`
143×	`log1p-udef_binary64`
83×	`add-sqr-sqrt_binary64`
76×	`add-cbrt-cube_binary64`

Counts

2 → 69

Calls

2 calls:

45.0ms	(/.f64 1 (/.f64 z x))
45.0ms	(*.f64 y (/.f64 1 (/.f64 z x)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	167	11
2	2036	11
3	5094	11

simplify18.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`

Counts

129 → 70

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	348
1	10	348
2	14	348
3	16	348
4	17	348
5	17	348

prune34.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	71	5	76

Error

Counts

76 → 5

Alt Table

Status	Error	Program
	4.5b	(/.f64 y (/.f64 z x))
	38.5b	(/.f64 (/.f64 (*.f64 x y) (sqrt.f64 z)) (sqrt.f64 z))
	5.3b	(/.f64 1 (/.f64 z (*.f64 x y)))
✓	4.4b	(.f64 y (.f64 x (/.f64 1 z)))
✓	7.4b	(*.f64 x (/.f64 y z))

Compiler

Compiled 703 to 319 computations (54.6% saved)

regimes208.0ms (6.1%)

Accuracy

Total 1.4b remaining (98.4%)

Threshold costs 0b (0%)

Counts

13 → 5

Compiler

Compiled 1127 to 778 computations (31% saved)

bsearch0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	71
1	27	71
2	27	71

end196.0ms (5.7%)

Compiler: Compiled 265 to 132 computations (50.2% saved)

Details

analyze1.1s (33.1%)

sample1.3s (37.2%)

simplify169.0ms (5%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

series10.0ms (0.3%)

rewrite42.0ms (1.2%)

simplify11.0ms (0.3%)

prune21.0ms (0.6%)

localize3.0ms (0.1%)

series10.0ms (0.3%)

rewrite43.0ms (1.3%)

simplify6.0ms (0.2%)

prune27.0ms (0.8%)

localize4.0ms (0.1%)

series19.0ms (0.6%)

rewrite78.0ms (2.3%)

simplify14.0ms (0.4%)

prune23.0ms (0.7%)

localize4.0ms (0.1%)

series17.0ms (0.5%)

rewrite46.0ms (1.4%)

simplify18.0ms (0.5%)

prune34.0ms (1%)

regimes208.0ms (6.1%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end196.0ms (5.7%)

Profiling