Details

sample357.0ms

Algorithm

intervals

Results

270.0ms	269×	body	10240	exit
34.0ms	74×	body	1280	valid
9.0ms	39×	body	640	valid
5.0ms	5×	body	2560	valid
5.0ms	36×	body	320	valid
4.0ms	159×	body	80	nan
4.0ms	84×	body	80	valid
3.0ms	2×	body	5120	valid
1.0ms	16×	body	160	valid

simplify221.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.8b

localize6.0ms

Local error

Found 1 expressions with local error:

39.1b

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

series2.0ms

Counts

1 → 3

Calls

1 calls:

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

prune42.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 34.8b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fmod (cosh c) (log1p a)))
0.1b	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
39.1b	(fmod (cosh c) (log1p a))
39.1b	(fmod (cosh c) (log1p a))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`sqrt-prod`
20×	`pow1`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
1×	`pow2` `rem-sqrt-square` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 84

Calls

4 calls:

1.0ms	(sqrt (fmod (cosh c) (log1p a)))
12.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series15.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (fmod (cosh c) (log1p a)))
3.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify106.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 3 (100.0ms)

Iter	Nodes	Cost
0	102	520
1	378	459
2	2255	439
3	5001	421

prune209.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 34.8b

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
39.1b	(fmod (cosh c) (log1p a))
39.1b	(fmod (cosh c) (log1p a))
39.1b	(fmod (cosh c) (log1p a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

9×	`unpow-prod-down`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod`
5×	`pow1` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `sqrt-prod`
2×	`pow-pow`
1×	`pow-to-exp` `pow1/3` `pow-exp` `sqr-pow`

Counts

4 → 53

Calls

4 calls:

4.0ms	(pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series63.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4)
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify53.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 3 (49.0ms)

Iter	Nodes	Cost
0	123	426
1	338	399
2	1172	393
3	5001	390

prune260.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 34.7b

localize17.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (cbrt 4) (cbrt 4))
39.1b	(fmod (cosh c) (log1p a))
39.1b	(fmod (cosh c) (log1p a))
39.1b	(fmod (cosh c) (log1p a))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`cbrt-prod`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
6×	`add-exp-log` `pow1/3` `swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 69

Calls

4 calls:

11.0ms	(* (cbrt 4) (cbrt 4))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series6.0ms

Counts

4 → 10

Calls

4 calls:

0.0ms	(* (cbrt 4) (cbrt 4))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify112.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 4 (107.0ms)

Iter	Nodes	Cost
0	97	359
1	302	324
2	1095	309
3	3517	306
4	5001	297

prune296.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 34.7b

regimes239.0ms

Accuracy

0% (0.1b remaining)

Error of 34.0b against oracle of 33.9b and baseline of 34.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	31
1	18	31

end0.0ms

sample10.3s

Algorithm

intervals

Results

7.9s	7876×	body	10240	exit
1.0s	2281×	body	1280	valid
329.0ms	1539×	body	640	valid
154.0ms	143×	body	2560	valid
140.0ms	5285×	body	80	nan
110.0ms	2801×	body	80	valid
97.0ms	790×	body	320	valid
39.0ms	432×	body	160	valid
21.0ms	14×	body	5120	valid