Details

sample288.0ms

Algorithm

intervals

Results

209.0ms	209×	body	10240	exit
29.0ms	65×	body	1280	valid
11.0ms	49×	body	640	valid
8.0ms	7×	body	2560	valid
5.0ms	151×	body	80	nan
4.0ms	94×	body	80	valid
3.0ms	28×	body	320	valid
1.0ms	13×	body	160	valid

simplify219.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	14	3
2	16	3
3	18	3
4	19	3
5	24	3
6	44	3
7	69	3
8	169	3
9	1125	3
10	5001	3

prune2.0ms

Filtered

1 candidates to 0 candidates (100.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

Merged error: 33.4b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

38.0b

(fmod (cosh c) (log1p a))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

1 → 9

Calls

1 calls:

1.0ms

(fmod (cosh c) (log1p a))

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(fmod (cosh c) (log1p a))

simplify96.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	21	57
1	26	50
2	31	50
3	38	50
4	58	50
5	117	50
6	567	50
7	1858	50
8	5001	50

prune32.0ms

Filtered

12 candidates to 9 candidates (25.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	8	4	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	5	13

Merged error: 33.4b

Counts

13 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fmod (cosh c) (log1p a)))
0.0b	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
38.0b	(fmod (cosh c) (log1p a))
38.0b	(fmod (cosh c) (log1p a))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`sqrt-prod`
20×	`pow1`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
1×	`pow2` `rem-sqrt-square` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 84

Calls

4 calls:

1.0ms	(sqrt (fmod (cosh c) (log1p a)))
6.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series16.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (fmod (cosh c) (log1p a)))
2.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify100.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 3 (94.0ms)

Iter	Nodes	Cost
0	102	520
1	378	459
2	2235	439
3	5001	421

prune160.0ms

Filtered

96 candidates to 50 candidates (47.9%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	87	9	96
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	87	14	101

Merged error: 33.3b

Counts

101 → 14

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
38.0b	(fmod (cosh c) (log1p a))
38.0b	(fmod (cosh c) (log1p a))
38.0b	(fmod (cosh c) (log1p a))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

66×	`sqrt-prod`
46×	`add-sqr-sqrt`
32×	`sqrt-pow1`
27×	`pow1`
16×	`add-cube-cbrt` `*-un-lft-identity` `pow1/2`
15×	`swap-sqr`
9×	`associate-r` `associate-l` `pow-prod-up` `unswap-sqr`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow-prod-down` `pow-sqr`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 104

Calls

4 calls:

10.0ms	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series16.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify163.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 3 (152.0ms)

Iter	Nodes	Cost
0	134	775
1	542	673
2	3320	642
3	5002	627

prune210.0ms

Filtered

116 candidates to 53 candidates (54.3%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	110	6	116
Fresh	2	9	11
Picked	0	1	1
Done	1	1	2
Total	113	17	130

Merged error: 33.3b

Counts

130 → 17

localize9.0ms

Local error

Found 3 expressions with local error:

0.7b	(exp (log (fmod (cosh c) (log1p a))))
2.1b	(log (fmod (cosh c) (log1p a)))
38.0b	(fmod (cosh c) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-cube-cbrt` `log-prod` `*-un-lft-identity`
5×	`pow1`
4×	`add-exp-log` `exp-prod` `add-log-exp`
3×	`expm1-log1p-u` `exp-sum` `add-cbrt-cube` `log1p-expm1-u`
2×	`log-pow` `rem-exp-log`
1×	`rem-log-exp`

Counts

3 → 41

Calls

3 calls:

2.0ms	(exp (log (fmod (cosh c) (log1p a))))
4.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))

series24.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(exp (log (fmod (cosh c) (log1p a))))
20.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))

simplify82.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 3 (7.0ms)

Iter	Nodes	Cost
0	61	260
1	87	232
2	110	226
3	158	220
4	303	220
5	741	220
6	2497	220
7	5001	220

prune91.0ms

Filtered

50 candidates to 31 candidates (38.0%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	41	9	50
Fresh	5	9	14
Picked	1	0	1
Done	2	0	2
Total	49	18	67

Merged error: 33.3b

Counts

67 → 18

regimes355.0ms

Accuracy

0% (0.0b remaining)

Error of 33.8b against oracle of 33.8b and baseline of 33.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	5
1	12	5
2	12	5

end0.0ms

sample10.4s

Algorithm

intervals

Results

8.0s	7906×	body	10240	exit
1.0s	2288×	body	1280	valid
345.0ms	1544×	body	640	valid
159.0ms	5235×	body	80	nan
148.0ms	138×	body	2560	valid
131.0ms	2828×	body	80	valid
107.0ms	769×	body	320	valid
43.0ms	426×	body	160	valid
11.0ms	7×	body	5120	valid