Details

sample371.0ms

Algorithm

intervals

Results

283.0ms	280×	body	10240	exit
31.0ms	71×	body	1280	valid
12.0ms	54×	body	640	valid
8.0ms	8×	body	2560	valid
5.0ms	173×	body	80	nan
4.0ms	32×	body	320	valid
3.0ms	74×	body	80	valid
2.0ms	17×	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	1127	3
10	5002	3

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.9b

localize6.0ms

Local error

Found 1 expressions with local error:

41.7b

(fmod (cosh c) (log1p a))

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

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(fmod (cosh c) (log1p a))

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

prune41.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 36.9b

localize9.0ms

Local error

Found 3 expressions with local error:

0.6b	(exp (log (fmod (cosh c) (log1p a))))
1.0b	(log (fmod (cosh c) (log1p a)))
41.7b	(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:

3.0ms	(exp (log (fmod (cosh c) (log1p a))))
1.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series27.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(exp (log (fmod (cosh c) (log1p a))))
21.0ms	(log (fmod (cosh c) (log1p a)))
3.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

prune140.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 36.9b

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.6b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.0b	(log (fmod (cosh c) (log1p a)))
41.7b	(fmod (cosh c) (log1p a))

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

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

series62.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
3.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
21.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

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

prune283.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 36.9b

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b	(log (fmod (cosh c) (log1p a)))
41.7b	(fmod (cosh c) (log1p a))
41.7b	(fmod (cosh c) (log1p a))
41.7b	(fmod (cosh c) (log1p a))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 41

Calls

4 calls:

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

series29.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))

simplify193.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	39	275
1	52	240
2	66	240
3	81	240
4	126	240
5	254	240
6	1131	240
7	4993	240
8	5001	240

prune218.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 36.8b

regimes492.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	32
1	18	32

end0.0ms

sample10.6s

Algorithm

intervals

Results

8.0s	7967×	body	10240	exit
1.0s	2255×	body	1280	valid
351.0ms	1617×	body	640	valid
166.0ms	153×	body	2560	valid
143.0ms	5211×	body	80	nan
111.0ms	2748×	body	80	valid
106.0ms	811×	body	320	valid
38.0ms	405×	body	160	valid
17.0ms	11×	body	5120	valid