Details

sample348.0ms

Algorithm

intervals

Results

264.0ms	247×	body	10240	exit
32.0ms	72×	body	1280	valid
11.0ms	52×	body	640	valid
8.0ms	165×	body	80	nan
6.0ms	7×	body	2560	valid
4.0ms	34×	body	320	valid
4.0ms	84×	body	80	valid
1.0ms	7×	body	160	valid

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

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.1b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(cosh c)
40.0b	(fmod (cosh c) (log1p a))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

2×	`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`
1×	`cosh-def`

Counts

2 → 19

Calls

2 calls:

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

series51.0ms

Counts

2 → 6

Calls

2 calls:

49.0ms	(cosh c)
2.0ms	(fmod (cosh c) (log1p a))

simplify136.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 3 (22.0ms)

Iter	Nodes	Cost
0	82	99
1	173	89
2	590	81
3	3626	79
4	5001	79

prune83.0ms

Filtered

25 candidates to 20 candidates (80.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 35.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh c)
0.0b	(expm1 (log1p (cosh c)))
0.2b	(log1p (cosh c))
40.2b	(fmod (expm1 (log1p (cosh c))) (log1p a))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

5×	`expm1-log1p-u`
4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
1×	`log1p-udef` `expm1-log1p` `cosh-def` `log1p-expm1` `expm1-udef`

Counts

4 → 41

Calls

4 calls:

0.0ms	(cosh c)
0.0ms	(expm1 (log1p (cosh c)))
0.0ms	(log1p (cosh c))
0.0ms	(fmod (expm1 (log1p (cosh c))) (log1p a))

series303.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(cosh c)
142.0ms	(expm1 (log1p (cosh c)))
109.0ms	(log1p (cosh c))
3.0ms	(fmod (expm1 (log1p (cosh c))) (log1p a))

simplify164.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 3 (28.0ms)

Iter	Nodes	Cost
0	136	229
1	275	206
2	832	178
3	4740	174
4	5001	174

prune164.0ms

Filtered

53 candidates to 37 candidates (69.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 33.9b

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(log1p (cosh c))
0.5b	(exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
18.1b	(log (fmod (expm1 (log1p (cosh c))) (log1p a)))
40.2b	(fmod (expm1 (log1p (cosh c))) (log1p a))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 51

Calls

4 calls:

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

series131.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(log1p (cosh c))
3.0ms	(exp (log (fmod (expm1 (log1p (cosh c))) (log1p a))))
20.0ms	(log (fmod (expm1 (log1p (cosh c))) (log1p a)))
3.0ms	(fmod (expm1 (log1p (cosh c))) (log1p a))

simplify109.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 4 (105.0ms)

Iter	Nodes	Cost
0	128	441
1	252	393
2	652	377
3	3085	363
4	5002	362

prune228.0ms

Filtered

63 candidates to 41 candidates (65.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 33.9b

localize17.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))
0.5b	(exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
18.1b	(log (fmod (expm1 (log1p (cosh c))) (log1p a)))
40.2b	(fmod (expm1 (log1p (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 (expm1 (log1p (cosh c))) (log1p a))) 3))
7.0ms	(exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
1.0ms	(log (fmod (expm1 (log1p (cosh c))) (log1p a)))
0.0ms	(fmod (expm1 (log1p (cosh c))) (log1p a))

series49.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3))
3.0ms	(exp (cbrt (pow (log (fmod (expm1 (log1p (cosh c))) (log1p a))) 3)))
23.0ms	(log (fmod (expm1 (log1p (cosh c))) (log1p a)))
3.0ms	(fmod (expm1 (log1p (cosh c))) (log1p a))

simplify98.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 4 (91.0ms)

Iter	Nodes	Cost
0	121	723
1	306	694
2	810	694
3	3664	694
4	5001	652

prune225.0ms

Filtered

87 candidates to 48 candidates (55.2%)

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 33.9b

regimes410.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23

end0.0ms

sample10.4s

Algorithm

intervals

Results

7.9s	7738×	body	10240	exit
1.0s	2298×	body	1280	valid
366.0ms	1636×	body	640	valid
148.0ms	140×	body	2560	valid
147.0ms	5189×	body	80	nan
121.0ms	2780×	body	80	valid
99.0ms	732×	body	320	valid
39.0ms	404×	body	160	valid
16.0ms	10×	body	5120	valid