Details

analyze370.0ms (4.2%)

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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	62.4%	37.6%	5
0%	56.2%	43.8%	6
6.2%	49.9%	43.8%	7
9.4%	43.7%	47%	8
14%	37.4%	48.5%	9
21.1%	30.4%	48.5%	10
24.6%	26.1%	49.3%	11
28.7%	21.6%	49.7%	12
33.4%	16.9%	49.7%	13
35.8%	14.3%	49.9%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (13.8%)

Results

1.0s	8255×	body	128	valid
7.0ms	73×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify144.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

3353×	`fma-neg_binary64`
476×	`distribute-rgt-in_binary64`
425×	`unsub-neg_binary64`
361×	`fma-def_binary64`
308×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	16	12
2	36	12
3	76	12
4	131	12
5	231	12
6	342	12
7	678	12
8	1365	12
9	2068	12
10	2356	12
11	2518	12
12	2627	12
13	2660	12
14	2664	12
15	2866	12
16	2767	12
17	2779	12
18	2791	12
19	2799	12
20	2799	12
21	5311	12

prune2.0ms (0%)

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.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.0b	(-.f64 (*.f64 x (log.f64 y)) z)
✓	0.3b	(*.f64 x (log.f64 y))

series341.0ms (3.9%)

Counts

3 → 96

Calls

3 calls:

183.0ms	(*.f64 x (log.f64 y))
87.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
71.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

rewrite23.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
25×	`associate--l+_binary64`
25×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`
18×	`log-prod_binary64`

Counts

3 → 98

Calls

3 calls:

11.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
3.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
3.0ms	(*.f64 x (log.f64 y))

simplify117.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1055×	`fma-neg_binary64`
315×	`cancel-sign-sub-inv_binary64`
286×	`exp-sum_binary64`
273×	`distribute-rgt-in_binary64`
255×	`distribute-lft-in_binary64`

Counts

194 → 159

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	1955
1	363	1912
2	1184	1903
3	2863	1893
4	4373	1893
5	4927	1893

prune100.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	156	4	160

Error

0.0b

Counts

160 → 4

Alt Table

Status	Error	Program
	31.1b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

Compiler

Compiled 2579 to 687 computations (73.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 x (log.f64 (cbrt.f64 y)))
✓	0.2b	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
✓	0.3b	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
✓	0.6b	(cbrt.f64 y)

series2.7s (31.4%)

Counts

4 → 84

Calls

4 calls:

916.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
891.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
885.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
41.0ms	(cbrt.f64 y)

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`log-prod_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
15×	`cbrt-prod_binary64`

Counts

4 → 94

Calls

4 calls:

6.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2))
5.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y))))
3.0ms	(*.f64 x (log.f64 (cbrt.f64 y)))
1.0ms	(cbrt.f64 y)

simplify106.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

731×	`fma-neg_binary64`
502×	`fma-def_binary64`
375×	`*-commutative_binary64`
346×	`cancel-sign-sub-inv_binary64`
279×	`distribute-rgt-neg-in_binary64`

Counts

178 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	149	2256
1	336	1937
2	1137	1744
3	3238	1736
4	4453	1736
5	4816	1736

prune166.0ms (1.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	172	5	177

Error

Counts

177 → 5

Alt Table

Status	Error	Program
	31.1b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x)) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)

Compiler

Compiled 3970 to 1645 computations (58.6% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series597.0ms (6.8%)

Counts

3 → 36

Calls

3 calls:

285.0ms	(cbrt.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
276.0ms	(cbrt.f64 (cbrt.f64 y))
35.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`cbrt-prod_binary64`
21×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
10×	`pow1_binary64`

Counts

3 → 69

Calls

3 calls:

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

simplify93.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

688×	`log-prod_binary64`
518×	`unswap-sqr_binary64`
511×	`associate-l_binary64`
355×	`sqr-pow_binary64`
327×	`associate-r_binary64`

Counts

105 → 98

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	78	933
1	129	933
2	379	885
3	1413	809
4	2301	781
5	2525	781
6	4672	781
7	4850	781

prune168.0ms (1.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	170	5	175

Error

Counts

175 → 5

Alt Table

Status	Error	Program
	31.1b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
▶	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x)) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)

Compiler

Compiled 5606 to 2117 computations (62.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(*.f64 x (log.f64 y))
✓	0.3b	(.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))))
✓	0.5b	(.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y))))
✓	0.6b	(cbrt.f64 (*.f64 x (log.f64 y)))

series1.8s (20.1%)

Counts

3 → 72

Calls

3 calls:

824.0ms

(*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y))))

744.0ms

(cbrt.f64 (*.f64 x (log.f64 y)))

182.0ms

(*.f64 (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))))

rewrite19.0ms (0.2%)

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:

6.0ms

(*.f64 (*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y))))

4.0ms

(*.f64 (cbrt.f64 (*.f64 x (log.f64 y))) (cbrt.f64 (*.f64 x (log.f64 y))))

2.0ms

(cbrt.f64 (*.f64 x (log.f64 y)))

simplify109.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

524×	`distribute-rgt-in_binary64`
463×	`distribute-lft-in_binary64`
302×	`log-prod_binary64`
294×	`fma-def_binary64`
252×	`unswap-sqr_binary64`

Counts

151 → 116

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	124	2133
1	265	1732
2	679	1496
3	1437	1269
4	4594	1269
5	4987	1269
6	4882	1269

prune253.0ms (2.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	275	1	276
Fresh	1	0	1
Picked	0	1	1
Done	0	3	3
Total	276	5	281

Error

Counts

281 → 5

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (*.f64 x (log.f64 (cbrt.f64 y)))) z) y)
	0.3b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (.f64 x (log.f64 y))))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (log.f64 y))) (cbrt.f64 (.f64 x (log.f64 y)))) (cbrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 y)) 2)) (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) x)) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 y))) x)) z) y)

Compiler

Compiled 6976 to 1697 computations (75.7% saved)

regimes268.0ms (3.1%)

Accuracy

Total 0.1b remaining (79.3%)

Threshold costs 0.1b (79.3%)

Counts

67 → 1

Compiler

Compiled 5474 to 3316 computations (39.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	21	12
3	25	12
4	27	12
5	27	12

end73.0ms (0.8%)

Compiler: Compiled 133 to 75 computations (43.6% saved)

Details

analyze370.0ms (4.2%)

sample1.2s (13.8%)

simplify144.0ms (1.7%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series341.0ms (3.9%)

rewrite23.0ms (0.3%)

simplify117.0ms (1.3%)

prune100.0ms (1.1%)

localize11.0ms (0.1%)

series2.7s (31.4%)

rewrite20.0ms (0.2%)

simplify106.0ms (1.2%)

prune166.0ms (1.9%)

localize22.0ms (0.2%)

series597.0ms (6.8%)

rewrite10.0ms (0.1%)

simplify93.0ms (1.1%)

prune168.0ms (1.9%)

localize10.0ms (0.1%)

series1.8s (20.1%)

rewrite19.0ms (0.2%)

simplify109.0ms (1.2%)

prune253.0ms (2.9%)

regimes268.0ms (3.1%)

simplify2.0ms (0%)

end73.0ms (0.8%)

Profiling