Details

analyze2.1s (14.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
0%	100%	0%	4
0%	100%	0%	5
0%	100%	0%	6
0%	100%	0%	7
0.8%	99.2%	0%	8
1.2%	98.8%	0%	9
1.6%	98.4%	0%	10
1.7%	98.3%	0%	11
1.7%	98.2%	0%	12
1.8%	98.2%	0%	13
1.8%	98.1%	0.1%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample10.8s (73.8%)

Results

4.8s	1631×	body	8192	exit
2.7s	4123×	body	1024	valid
983.0ms	1643×	body	1024	invalid
933.0ms	2064×	body	512	valid
465.0ms	794×	body	512	invalid
293.0ms	994×	body	256	valid
156.0ms	174×	body	2048	valid
152.0ms	901×	body	128	valid
100.0ms	386×	body	256	invalid
72.0ms	459×	body	128	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify83.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

924×	`unswap-sqr_binary64`
493×	`fma-neg_binary64`
430×	`associate-/l*_binary64`
379×	`fma-def_binary64`
296×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	16	17
2	25	15
3	36	15
4	59	15
5	103	15
6	204	15
7	435	15
8	703	15
9	1995	15
10	2934	15
11	3478	15
12	4158	15
13	4980	15
14	4913	15

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

59.6b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	59.6b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))

Compiler

Compiled 40 to 21 computations (47.5% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 x)
✓	0.0b	(sqrt.f64 (cos.f64 x))
✓	0.2b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
✓	4.8b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series16.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

10.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
3.0ms	(sqrt.f64 (cos.f64 x))
2.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
2.0ms	(cos.f64 x)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 62

Calls

4 calls:

3.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
1.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(cos.f64 x)
0.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify77.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

776×	`fma-def_binary64`
470×	`times-frac_binary64`
417×	`fma-neg_binary64`
249×	`associate-/l*_binary64`
225×	`distribute-rgt-neg-in_binary64`

Counts

74 → 89

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	120	1302
1	251	1210
2	584	1170
3	1600	1148
4	4595	1148
5	5125	1148

prune65.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	3	90

Error

59.6b

Counts

90 → 3

Alt Table

Status	Error	Program
▶	59.6b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
	59.6b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
	59.6b	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))

Compiler

Compiled 1520 to 483 computations (68.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
✓	2.2b	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
✓	3.2b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
	4.8b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series503.0ms (3.4%)

Counts

3 → 7

Calls

3 calls:

427.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
72.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
4.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`*-un-lft-identity_binary64`
28×	`add-sqr-sqrt_binary64`
24×	`prod-diff_binary64`
24×	`add-cube-cbrt_binary64`
19×	`exp-sum_binary64`

Counts

3 → 89

Calls

3 calls:

5.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
4.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
1.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))

simplify117.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

937×	`fma-neg_binary64`
393×	`associate-l_binary64`
371×	`associate-r_binary64`
301×	`distribute-rgt-neg-in_binary64`
295×	`fma-def_binary64`

Counts

96 → 107

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1836
1	215	1680
2	593	1570
3	2378	1557
4	4254	1557
5	4939	1557
6	4901	1557

prune50.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	117	3	120

Error

22.4b

Counts

120 → 3

Alt Table

Status	Error	Program
	59.6b	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
▶	23.8b	(exp.f64 (neg.f64 x))
	59.6b	(exp.f64 (-.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x))

Compiler

Compiled 2466 to 515 computations (79.1% saved)

localize2.0ms (0%)

prune3.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

22.4b

Counts

3 → 3

Alt Table

Status	Error	Program
	59.6b	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
✓	23.8b	(exp.f64 (neg.f64 x))
▶	59.6b	(exp.f64 (-.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x))

Compiler

Compiled 54 to 39 computations (27.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.2b	(-.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x)
✓	2.4b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
✓	2.9b	(log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
	4.8b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series451.0ms (3.1%)

Counts

3 → 36

Calls

3 calls:

377.0ms

(log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))

71.0ms

(-.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x)

2.0ms

(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
18×	`log-pow_binary64`
17×	`log-prod_binary64`

Counts

3 → 77

Calls

3 calls:

6.0ms

(-.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x)

2.0ms

(log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))

1.0ms

(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))

simplify149.0ms (1%)

Algorithm

1×	egg-herbie

Rules

394×	`unsub-neg_binary64`
341×	`distribute-rgt-in_binary64`
338×	`unswap-sqr_binary64`
305×	`fma-neg_binary64`
281×	`distribute-lft-in_binary64`

Counts

113 → 113

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	112	1759
1	157	1661
2	390	1650
3	1371	1641
4	2768	1641
5	4427	1628
6	4469	1628
7	4993	1628
8	4801	1628

prune50.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	120	3	123
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	122	4	126

Error

22.3b

Counts

126 → 4

Alt Table

Status	Error	Program
	61.7b	(exp.f64 (/.f64 (-.f64 (.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (.f64 x x)) (+.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x)))
✓	23.8b	(exp.f64 (neg.f64 x))
	59.6b	(exp.f64 (+.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (neg.f64 x)))
	59.7b	(exp.f64 (-.f64 (log.f64 (.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (exp.f64 (.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))) x))

Compiler

Compiled 2624 to 593 computations (77.4% saved)

regimes42.0ms (0.3%)

Accuracy

Total 0.5b remaining (2.2%)

Threshold costs 0.5b (2.2%)

Counts

19 → 3

Compiler

Compiled 636 to 362 computations (43.1% saved)

bsearch1.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	114
1	38	114
2	43	114
3	46	114
4	47	114
5	46	114

end82.0ms (0.6%)

Compiler: Compiled 217 to 87 computations (59.9% saved)

Details

analyze2.1s (14.2%)

sample10.8s (73.8%)

simplify83.0ms (0.6%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series16.0ms (0.1%)

rewrite8.0ms (0.1%)

simplify77.0ms (0.5%)

prune65.0ms (0.4%)

localize10.0ms (0.1%)

series503.0ms (3.4%)

rewrite16.0ms (0.1%)

simplify117.0ms (0.8%)

prune50.0ms (0.3%)

localize2.0ms (0%)

prune3.0ms (0%)

localize12.0ms (0.1%)

series451.0ms (3.1%)

rewrite14.0ms (0.1%)

simplify149.0ms (1%)

prune50.0ms (0.3%)

regimes42.0ms (0.3%)

bsearch1.0ms (0%)

simplify5.0ms (0%)

end82.0ms (0.6%)

Profiling