Details

sample325.0ms

Algorithm

intervals

Results

241.0ms	222×	body	5120	exit
36.0ms	79×	body	1280	valid
12.0ms	49×	body	640	valid
5.0ms	92×	body	80	valid
5.0ms	160×	body	80	nan
3.0ms	3×	body	2560	valid
3.0ms	21×	body	320	valid
2.0ms	1×	body	5120	valid
1.0ms	11×	body	160	valid

simplify221.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: 33.5b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

38.2b

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

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

prune40.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: 33.5b

Counts

13 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.5b	(exp (log (fmod (cosh c) (log1p a))))
1.2b	(log (fmod (cosh c) (log1p a)))
38.2b	(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))

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

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

prune127.0ms

Filtered

49 candidates to 29 candidates (59.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	41	8	49
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	44	11	55

Merged error: 33.5b

Counts

55 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.5b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.2b	(log (fmod (cosh c) (log1p a)))
38.2b	(fmod (cosh c) (log1p a))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

17×	`exp-prod`
14×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
8×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log`
5×	`log-pow` `add-cbrt-cube` `add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`pow-unpow` `log-prod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `rem-log-exp` `pow-exp` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 77

Calls

4 calls:

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

series61.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
3.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
19.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))

simplify131.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	141	511
1	444	461
2	2963	456
3	5001	456

prune246.0ms

Filtered

89 candidates to 50 candidates (56.2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	81	19	100

Merged error: 33.5b

Counts

100 → 19

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.5b	(exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
1.2b	(log (fmod (cosh c) (log1p a)))
38.2b	(fmod (cosh c) (log1p a))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

68×	`cbrt-prod`
43×	`exp-prod`
29×	`unpow-prod-down` `cube-prod`
18×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`pow1`
7×	`log-pow`
6×	`add-exp-log`
5×	`add-cbrt-cube` `add-log-exp`
4×	`expm1-log1p-u` `cube-mult` `unpow3` `log1p-expm1-u` `sqr-pow`
3×	`pow-unpow` `log-prod`
1×	`pow-to-exp` `pow-pow` `rem-log-exp` `pow-exp` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 103

Calls

4 calls:

3.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
10.0ms	(exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
2.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))

series57.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
3.0ms	(exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
19.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))

simplify158.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	240	731
1	592	633
2	3690	620
3	5002	620

prune241.0ms

Filtered

115 candidates to 55 candidates (47.8%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	108	7	115
Fresh	3	14	17
Picked	1	0	1
Done	0	1	1
Total	112	22	134

Merged error: 33.5b

Counts

134 → 22

regimes478.0ms

Accuracy

0% (0.0b remaining)

Error of 34.2b against oracle of 34.1b and baseline of 34.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	11

end0.0ms

sample10.5s

Algorithm

intervals

Results

8.0s	7683×	body	5120	exit
1.1s	2335×	body	1280	valid
373.0ms	1591×	body	640	valid
168.0ms	5276×	body	80	nan
158.0ms	146×	body	2560	valid
136.0ms	2777×	body	80	valid
112.0ms	759×	body	320	valid
41.0ms	379×	body	160	valid
22.0ms	13×	body	5120	valid