Details

sample336.0ms

Algorithm

intervals

Results

240.0ms	227×	body	10240	exit
44.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

simplify218.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	43	3
7	64	3
8	154	3
9	1044	3
10	5001	3

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.2b

localize6.0ms

Local error

Found 1 expressions with local error:

39.9b

(fmod (cosh c) (log1p a))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 7

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

simplify96.0ms

Algorithm

egg-herbie

Counts

10 → 10

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	49
1	24	42
2	29	42
3	36	42
4	56	42
5	115	42
6	564	42
7	1838	42
8	5001	42

prune35.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×	`exp-sum` `add-cbrt-cube` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 34

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)))
3.0ms	(fmod (cosh c) (log1p a))

simplify82.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 3 (6.0ms)

Iter	Nodes	Cost
0	55	234
1	81	206
2	103	200
3	150	194
4	295	194
5	724	194
6	2472	194
7	5001	194

prune120.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 35.2b

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

rewrite11.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×	`add-cbrt-cube`
3×	`log-prod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow1/3` `rem-log-exp` `rem-cbrt-cube` `rem-exp-log`

Counts

4 → 67

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

series46.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)))
22.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(fmod (cosh c) (log1p a))

simplify99.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 4 (94.0ms)

Iter	Nodes	Cost
0	111	473
1	293	454
2	785	454
3	3580	454
4	5001	426

prune232.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 35.2b

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

rewrite6.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×	`log-pow` `add-cbrt-cube` `add-log-exp`
2×	`pow1/3` `rem-log-exp`

Counts

4 → 46

Calls

4 calls:

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

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

simplify46.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 4 (41.0ms)

Iter	Nodes	Cost
0	52	406
1	97	348
2	261	348
3	1031	348
4	5001	344

prune251.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 35.2b

regimes379.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.1s

Algorithm

intervals

Results

8.4s	7711×	body	10240	exit
1.2s	2311×	body	1280	valid
418.0ms	1599×	body	640	valid
181.0ms	155×	body	2560	valid
180.0ms	5242×	body	80	nan
145.0ms	2707×	body	80	valid
133.0ms	820×	body	320	valid
47.0ms	398×	body	160	valid
16.0ms	10×	body	5120	valid