Details

analyze439.0ms (5.4%)

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 (14.9%)

Results

1.0s	8255×	body	128	valid
12.0ms	60×	body	128	invalid
1.0ms	1×	body	1024	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify147.0ms (1.8%)

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 2 expressions with local error:

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

series318.0ms (3.9%)

Counts

2 → 60

Calls

2 calls:

223.0ms	(*.f64 x (log.f64 y))
95.0ms	(-.f64 (*.f64 x (log.f64 y)) z)

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
6×	`associate--l+_binary64`

Counts

2 → 53

Calls

2 calls:

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

simplify107.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

991×	`fma-def_binary64`
454×	`fma-neg_binary64`
371×	`unsub-neg_binary64`
370×	`associate-l_binary64`
287×	`*-commutative_binary64`

Counts

113 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1016
1	223	985
2	663	980
3	1719	980
4	3380	980
5	4870	980
6	4952	980
7	4888	980

prune81.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	78	6	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	6	85

Error

0.0b

Counts

85 → 6

Alt Table

Status	Error	Program
	31.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (log.f64 (sqrt.f64 y)) x)) 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)
	29.6b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 x (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 1395 to 504 computations (63.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series346.0ms (4.2%)

Counts

3 → 24

Calls

3 calls:

236.0ms	(*.f64 (log.f64 (sqrt.f64 y)) x)
101.0ms	(-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (log.f64 (sqrt.f64 y)) x)) z)
8.0ms	(log.f64 (sqrt.f64 y))

rewrite15.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
18×	`prod-diff_binary64`
18×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

3 → 86

Calls

3 calls:

6.0ms	(-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (log.f64 (sqrt.f64 y)) x)) z)
3.0ms	(*.f64 (log.f64 (sqrt.f64 y)) x)
1.0ms	(log.f64 (sqrt.f64 y))

simplify92.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

682×	`distribute-rgt-in_binary64`
585×	`distribute-lft-in_binary64`
493×	`fma-neg_binary64`
457×	`fma-def_binary64`
328×	`associate-+l+_binary64`

Counts

110 → 107

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	1414
1	221	1320
2	705	1313
3	1878	1293
4	4764	1293
5	4918	1293

prune149.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	152	3	155
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	155	6	161

Error

Counts

161 → 6

Alt Table

Status	Error	Program
	29.6b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (.f64 (log.f64 (sqrt.f64 y)) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))) z) y)
	31.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
▶	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (+.f64 (log.f64 (fabs.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y)))) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (log.f64 (sqrt.f64 y)) x)) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 y))) (cbrt.f64 (log.f64 (sqrt.f64 y)))) (.f64 (cbrt.f64 (log.f64 (sqrt.f64 y))) x))) z) y)

Compiler

Compiled 3679 to 937 computations (74.5% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series3.3s (40%)

Counts

3 → 48

Calls

3 calls:

2.0s	(*.f64 (+.f64 (log.f64 (fabs.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y)))) x)
1.2s	(+.f64 (log.f64 (fabs.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y))))
32.0ms	(cbrt.f64 y)

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
20×	`log-prod_binary64`
17×	`add-sqr-sqrt_binary64`
14×	`pow1_binary64`
13×	`add-cube-cbrt_binary64`

Counts

3 → 80

Calls

3 calls:

6.0ms	(+.f64 (log.f64 (fabs.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y))))
6.0ms	(*.f64 (+.f64 (log.f64 (fabs.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y)))) x)
2.0ms	(cbrt.f64 y)

simplify126.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

790×	`log-prod_binary64`
409×	`*-commutative_binary64`
291×	`distribute-rgt-in_binary64`
270×	`associate-l_binary64`
254×	`distribute-lft-in_binary64`

Counts

128 → 125

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	135	2198
1	269	1805
2	719	1346
3	2072	1189
4	3287	1185
5	4507	1185
6	4968	1185

prune271.0ms (3.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	170	6	176

Error

Counts

176 → 6

Alt Table

Status	Error	Program
	29.6b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
▶	0.2b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (.f64 (log.f64 (sqrt.f64 y)) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))) z) y)
	31.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (+.f64 (log.f64 (fabs.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y)))) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (log.f64 (sqrt.f64 y)) x)) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 y))) (cbrt.f64 (log.f64 (sqrt.f64 y)))) (.f64 (cbrt.f64 (log.f64 (sqrt.f64 y))) x))) z) y)

Compiler

Compiled 4697 to 1372 computations (70.8% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series703.0ms (8.6%)

Counts

4 → 48

Calls

4 calls:

324.0ms	(.f64 (log.f64 (sqrt.f64 y)) (.f64 (cbrt.f64 x) (cbrt.f64 x)))
303.0ms	(.f64 (.f64 (log.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
45.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
31.0ms	(cbrt.f64 x)

rewrite24.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`pow1_binary64`
25×	`add-sqr-sqrt_binary64`
22×	`cbrt-prod_binary64`
20×	`add-exp-log_binary64`
16×	`*-un-lft-identity_binary64`

Counts

4 → 105

Calls

4 calls:

9.0ms	(.f64 (.f64 (log.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))
6.0ms	(.f64 (log.f64 (sqrt.f64 y)) (.f64 (cbrt.f64 x) (cbrt.f64 x)))
4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)

simplify158.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

629×	`unswap-sqr_binary64`
566×	`distribute-rgt-in_binary64`
543×	`fma-def_binary64`
459×	`log-prod_binary64`
446×	`*-commutative_binary64`

Counts

153 → 150

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	111	1723
1	221	1450
2	800	1376
3	1233	1342
4	2584	1240
5	4498	1240
6	4547	1240
7	4845	1240
8	4986	1240
9	4834	1240

prune166.0ms (2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	186	0	186
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	186	6	192

Error

Counts

192 → 6

Alt Table

Status	Error	Program
	29.6b	(-.f64 (-.f64 (.f64 (sqrt.f64 (.f64 x (log.f64 y))) (sqrt.f64 (*.f64 x (log.f64 y)))) z) y)
✓	0.2b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (.f64 (log.f64 (sqrt.f64 y)) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))) z) y)
	31.8b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (+.f64 (log.f64 (fabs.f64 (cbrt.f64 y))) (log.f64 (sqrt.f64 (cbrt.f64 y)))) x)) z) y)
✓	0.1b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (log.f64 (sqrt.f64 y)) x)) z) y)
	0.2b	(-.f64 (-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) x) (.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 y))) (cbrt.f64 (log.f64 (sqrt.f64 y)))) (.f64 (cbrt.f64 (log.f64 (sqrt.f64 y))) x))) z) y)

Compiler

Compiled 4984 to 1402 computations (71.9% saved)

regimes388.0ms (4.7%)

Accuracy

Total 0.1b remaining (69.5%)

Threshold costs 0.1b (69.5%)

Counts

91 → 1

Compiler

Compiled 6330 to 4048 computations (36.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	17
1	20	17
2	27	17
3	31	17
4	33	17
5	33	17

end91.0ms (1.1%)

Compiler: Compiled 157 to 89 computations (43.3% saved)

Details

analyze439.0ms (5.4%)

sample1.2s (14.9%)

simplify147.0ms (1.8%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series318.0ms (3.9%)

rewrite11.0ms (0.1%)

simplify107.0ms (1.3%)

prune81.0ms (1%)

localize8.0ms (0.1%)

series346.0ms (4.2%)

rewrite15.0ms (0.2%)

simplify92.0ms (1.1%)

prune149.0ms (1.8%)

localize19.0ms (0.2%)

series3.3s (40%)

rewrite18.0ms (0.2%)

simplify126.0ms (1.5%)

prune271.0ms (3.3%)

localize12.0ms (0.2%)

series703.0ms (8.6%)

rewrite24.0ms (0.3%)

simplify158.0ms (1.9%)

prune166.0ms (2%)

regimes388.0ms (4.7%)

simplify3.0ms (0%)

end91.0ms (1.1%)

Profiling