Details

analyze1.0s (8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0.1%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample10.5s (82.1%)

Results

4.7s	1572×	body	8192	exit
2.7s	4064×	body	1024	valid
1.0s	1669×	body	1024	invalid
875.0ms	2110×	body	512	valid
299.0ms	785×	body	512	invalid
296.0ms	1042×	body	256	valid
165.0ms	178×	body	2048	valid
141.0ms	862×	body	128	valid
99.0ms	408×	body	256	invalid
58.0ms	404×	body	128	invalid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify81.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

60.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 40 to 21 computations (47.5% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series17.0ms (0.1%)

Counts

3 → 8

Calls

3 calls:

13.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)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 53

Calls

3 calls:

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

simplify90.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

599×	`cancel-sign-sub-inv_binary64`
541×	`fma-def_binary64`
463×	`times-frac_binary64`
381×	`div-sub_binary64`
282×	`fma-neg_binary64`

Counts

61 → 73

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	104	1190
1	212	1105
2	477	1069
3	1265	1049
4	3482	1048
5	4641	1048
6	5116	1048

prune68.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	3	74

Error

60.2b

Counts

74 → 3

Alt Table

Status	Error	Program
	60.2b	(.f64 (/.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))))) (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x)))) (/.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (cbrt.f64 (exp.f64 x))))
	60.2b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
▶	60.2b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))

Compiler

Compiled 1327 to 365 computations (72.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
✓	1.8b	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
✓	2.6b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
	5.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series402.0ms (3.1%)

Counts

3 → 7

Calls

3 calls:

336.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
62.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
3.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:

4.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))))

simplify115.0ms (0.9%)

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

prune60.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

24.8b

Counts

120 → 3

Alt Table

Status	Error	Program
	60.2b	(log.f64 (exp.f64 (exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))))
	60.2b	(exp.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x))
▶	26.1b	(exp.f64 (neg.f64 x))

Compiler

Compiled 2502 to 521 computations (79.2% saved)

localize3.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

24.8b

Counts

3 → 3

Alt Table

Status	Error	Program
	60.2b	(log.f64 (exp.f64 (exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))))
▶	60.2b	(exp.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x))
✓	26.1b	(exp.f64 (neg.f64 x))

Compiler

Compiled 90 to 45 computations (50% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(exp.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x))
✓	2.1b	(-.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) x)
	2.6b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
	5.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series69.0ms (0.5%)

Counts

2 → 24

Calls

2 calls:

65.0ms

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

4.0ms

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

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`exp-sum_binary64`
7×	`add-log-exp_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`

Counts

2 → 42

Calls

2 calls:

9.0ms

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

7.0ms

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

simplify83.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

774×	`fma-neg_binary64`
514×	`unswap-sqr_binary64`
452×	`associate-l_binary64`
302×	`fma-def_binary64`
232×	`distribute-rgt-neg-in_binary64`

Counts

66 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	1271
1	189	1151
2	620	1073
3	2070	1073
4	4310	1073
5	4890	1073

prune58.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	150	3	153

Error

24.8b

Counts

153 → 3

Alt Table

Status	Error	Program
✓	26.1b	(exp.f64 (neg.f64 x))
	60.2b	(/.f64 (exp.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
	60.2b	(log.f64 (exp.f64 (exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))))

Compiler

Compiled 5244 to 713 computations (86.4% saved)

regimes85.0ms (0.7%)

Accuracy

Total 1.6b remaining (6.6%)

Threshold costs 0b (0%)

Counts

47 → 1

Compiler

Compiled 1462 to 918 computations (37.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	8	5
2	10	5
3	11	5
4	11	5

end57.0ms (0.4%)

Compiler: Compiled 56 to 30 computations (46.4% saved)

Details

analyze1.0s (8%)

sample10.5s (82.1%)

simplify81.0ms (0.6%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series17.0ms (0.1%)

rewrite6.0ms (0%)

simplify90.0ms (0.7%)

prune68.0ms (0.5%)

localize10.0ms (0.1%)

series402.0ms (3.1%)

rewrite16.0ms (0.1%)

simplify115.0ms (0.9%)

prune60.0ms (0.5%)

localize3.0ms (0%)

prune3.0ms (0%)

localize12.0ms (0.1%)

series69.0ms (0.5%)

rewrite19.0ms (0.2%)

simplify83.0ms (0.7%)

prune58.0ms (0.5%)

regimes85.0ms (0.7%)

simplify2.0ms (0%)

end57.0ms (0.4%)

Profiling