Details

sample309.0ms

Algorithm

intervals

Results

228.0ms	228×	body	10240	exit
35.0ms	68×	body	1280	valid
10.0ms	48×	body	640	valid
4.0ms	147×	body	80	nan
4.0ms	34×	body	320	valid
4.0ms	89×	body	80	valid
4.0ms	3×	body	2560	valid
2.0ms	14×	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	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: 34.0b

localize6.0ms

Local error

Found 2 expressions with local error:

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

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

series49.0ms

Counts

2 → 6

Calls

2 calls:

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

prune79.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 34.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(cosh c)
0.0b	(exp (log (cosh c)))
3.2b	(log (cosh c))
38.7b	(fmod (exp (log (cosh c))) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 52

Calls

4 calls:

1.0ms	(cosh c)
2.0ms	(exp (log (cosh c)))
2.0ms	(log (cosh c))
1.0ms	(fmod (exp (log (cosh c))) (log1p a))

series238.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(cosh c)
46.0ms	(exp (log (cosh c)))
147.0ms	(log (cosh c))
3.0ms	(fmod (exp (log (cosh c))) (log1p a))

simplify40.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 3 (36.0ms)

Iter	Nodes	Cost
0	149	269
1	320	241
2	999	217
3	5001	207

prune179.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 34.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(log (fmod (exp (log (cosh c))) (log1p a)))
0.5b	(exp (log (fmod (exp (log (cosh c))) (log1p a))))
3.2b	(log (cosh c))
38.7b	(fmod (exp (log (cosh c))) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 55

Calls

4 calls:

1.0ms	(log (fmod (exp (log (cosh c))) (log1p a)))
2.0ms	(exp (log (fmod (exp (log (cosh c))) (log1p a))))
2.0ms	(log (cosh c))
1.0ms	(fmod (exp (log (cosh c))) (log1p a))

series172.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(log (fmod (exp (log (cosh c))) (log1p a)))
2.0ms	(exp (log (fmod (exp (log (cosh c))) (log1p a))))
144.0ms	(log (cosh c))
3.0ms	(fmod (exp (log (cosh c))) (log1p a))

simplify156.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (31.0ms)

Iter	Nodes	Cost
0	145	432
1	280	375
2	804	355
3	4181	349
4	5001	349

prune233.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 34.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(log (fmod (exp (log (cosh c))) (log1p a)))
0.6b	(pow E (log (fmod (exp (log (cosh c))) (log1p a))))
3.2b	(log (cosh c))
38.7b	(fmod (exp (log (cosh c))) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `log-prod` `*-un-lft-identity`
8×	`pow1`
7×	`add-exp-log`
4×	`expm1-log1p-u` `pow-unpow` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`unpow-prod-up` `unpow-prod-down` `log-pow`
2×	`rem-log-exp` `pow-exp`
1×	`pow-to-exp` `log-div` `e-exp-1` `cosh-def` `pow-pow` `sqr-pow`

Counts

4 → 62

Calls

4 calls:

1.0ms	(log (fmod (exp (log (cosh c))) (log1p a)))
2.0ms	(pow E (log (fmod (exp (log (cosh c))) (log1p a))))
2.0ms	(log (cosh c))
1.0ms	(fmod (exp (log (cosh c))) (log1p a))

series208.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(log (fmod (exp (log (cosh c))) (log1p a)))
42.0ms	(pow E (log (fmod (exp (log (cosh c))) (log1p a))))
145.0ms	(log (cosh c))
2.0ms	(fmod (exp (log (cosh c))) (log1p a))

simplify65.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (60.0ms)

Iter	Nodes	Cost
0	192	534
1	544	447
2	1990	430
3	5001	401

prune203.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 34.0b

regimes307.0ms

Accuracy

0% (0.0b remaining)

Error of 34.5b against oracle of 34.4b and baseline of 34.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	24
1	18	24
2	18	24

end0.0ms

sample10.4s

Algorithm

intervals

Results

7.9s	7873×	body	10240	exit
1.0s	2269×	body	1280	valid
366.0ms	1614×	body	640	valid
172.0ms	5389×	body	80	nan
172.0ms	159×	body	2560	valid
122.0ms	2730×	body	80	valid
109.0ms	821×	body	320	valid
41.0ms	403×	body	160	valid
6.0ms	4×	body	5120	valid