Details

sample335.0ms

Algorithm

intervals

Results

242.0ms	227×	body	10240	exit
41.0ms	85×	body	1280	valid
13.0ms	51×	body	640	valid
6.0ms	5×	body	2560	valid
6.0ms	160×	body	80	nan
4.0ms	85×	body	80	valid
3.0ms	19×	body	320	valid
1.0ms	11×	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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.2b

localize7.0ms

Local error

Found 1 expressions with local error:

39.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:

0.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 (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	1852	50
8	5001	50

prune42.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 35.2b

localize9.0ms

Local error

Found 3 expressions with local error:

0.5b	(exp (log (fmod (cosh c) (log1p a))))
0.8b	(log (fmod (cosh c) (log1p a)))
39.9b	(fmod (cosh c) (log1p a))

rewrite3.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:

1.0ms	(exp (log (fmod (cosh c) (log1p a))))
1.0ms	(log (fmod (cosh c) (log1p a)))
0.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 (6.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

prune145.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 35.2b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
0.5b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
0.8b	(log (fmod (cosh c) (log1p a)))
39.9b	(fmod (cosh c) (log1p a))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 75

Calls

4 calls:

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

series43.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt (pow (log (fmod (cosh c) (log1p a))) 3))
2.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))

simplify97.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 4 (91.0ms)

Iter	Nodes	Cost
0	119	512
1	304	493
2	782	493
3	3565	493
4	5001	465

prune264.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 35.2b

localize18.0ms

Local error

Found 4 expressions with local error:

0.8b	(log (cbrt (fmod (cosh c) (log1p a))))
0.8b	(log (cbrt (fmod (cosh c) (log1p a))))
39.9b	(fmod (cosh c) (log1p a))
39.9b	(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 54

Calls

4 calls:

1.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
1.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series126.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
59.0ms	(log (cbrt (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify47.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 4 (42.0ms)

Iter	Nodes	Cost
0	56	446
1	101	388
2	267	388
3	1056	388
4	5001	384

prune301.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 35.2b

regimes402.0ms

Accuracy

0% (0.0b remaining)

Error of 34.6b against oracle of 34.6b and baseline of 34.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	17
1	21	17

end0.0ms

sample11.0s

Algorithm

intervals

Results

8.3s	7711×	body	10240	exit
1.2s	2311×	body	1280	valid
416.0ms	1599×	body	640	valid
182.0ms	155×	body	2560	valid
179.0ms	5242×	body	80	nan
142.0ms	2707×	body	80	valid
130.0ms	820×	body	320	valid
51.0ms	398×	body	160	valid
17.0ms	10×	body	5120	valid