Details

sample347.0ms

Algorithm

intervals

Results

258.0ms	251×	body	10240	exit
39.0ms	84×	body	1280	valid
10.0ms	46×	body	640	valid
7.0ms	6×	body	2560	valid
5.0ms	183×	body	80	nan
4.0ms	89×	body	80	valid
2.0ms	17×	body	320	valid
1.0ms	14×	body	160	valid

simplify222.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	1127	3
10	5002	3

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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: 34.2b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

38.9b

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

simplify99.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 1 (3.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	1852	50
8	5001	50

prune38.0ms

Filtered

12 candidates to 9 candidates (75.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	7	5	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	6	13

Merged error: 34.2b

Counts

13 → 6

localize12.0ms

Local error

Found 3 expressions with local error:

0.6b	(exp (log (fmod (cosh c) (log1p a))))
1.5b	(log (fmod (cosh c) (log1p a)))
38.9b	(fmod (cosh c) (log1p a))

rewrite5.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`
3×	`expm1-log1p-u` `exp-sum` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 40

Calls

3 calls:

2.0ms	(exp (log (fmod (cosh c) (log1p a))))
1.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))))
19.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))

simplify86.0ms

Algorithm

egg-herbie

Counts

49 → 49

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	2510	220
7	5002	220

prune136.0ms

Filtered

49 candidates to 29 candidates (59.2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	39	10	49
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	41	14	55

Merged error: 34.2b

Counts

55 → 14

localize9.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.9b	(fmod (cosh c) (log1p a))
38.9b	(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))

simplify105.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 3 (98.0ms)

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

prune208.0ms

Filtered

96 candidates to 50 candidates (52.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	88	8	96
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	91	19	110

Merged error: 34.2b

Counts

110 → 19

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
0.1b	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
38.9b	(fmod (cosh c) (log1p a))
38.9b	(fmod (cosh c) (log1p a))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

87×	`sqrt-prod`
66×	`add-sqr-sqrt`
27×	`unpow-prod-down` `cube-prod`
24×	`associate-l` `unswap-sqr`
21×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log`
9×	`associate-r`
8×	`pow1`
7×	`add-cbrt-cube`
5×	`pow-pow` `sqr-pow`
4×	`expm1-log1p-u` `sqrt-pow1` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `pow1/2` `unpow3` `pow-exp`
1×	`pow-plus` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 133

Calls

4 calls:

12.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
7.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series65.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
57.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify57.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	240	1411
1	1074	1190
2	5002	981

prune229.0ms

Filtered

145 candidates to 63 candidates (43.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	140	5	145
Fresh	2	15	17
Picked	1	0	1
Done	1	0	1
Total	144	20	164

Merged error: 34.1b

Counts

164 → 20

regimes399.0ms

Accuracy

0% (0.1b remaining)

Error of 34.4b against oracle of 34.3b and baseline of 34.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	13	19

end0.0ms

sample10.0s

Algorithm

intervals

Results

7.6s	7551×	body	10240	exit
1.1s	2337×	body	1280	valid
345.0ms	1583×	body	640	valid
171.0ms	150×	body	2560	valid
162.0ms	5039×	body	80	nan
124.0ms	2741×	body	80	valid
101.0ms	767×	body	320	valid
42.0ms	418×	body	160	valid
6.0ms	4×	body	5120	valid