Details

sample363.0ms

Algorithm

intervals

Results

273.0ms	269×	body	10240	exit
35.0ms	74×	body	1280	valid
9.0ms	39×	body	640	valid
6.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
2.0ms	16×	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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.8b

localize7.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` `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))

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

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×	`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 → 76

Calls

4 calls:

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

simplify105.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 3 (99.0ms)

Iter	Nodes	Cost
0	96	486
1	366	425
2	2218	405
3	5001	387

prune177.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×	`add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `sqrt-prod`
2×	`pow-pow`
1×	`pow-to-exp` `pow1/3` `pow-exp` `sqr-pow`

Counts

4 → 45

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

series64.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify52.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 3 (48.0ms)

Iter	Nodes	Cost
0	119	388
1	334	361
2	1160	355
3	5001	352

prune218.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 34.7b

localize21.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×	`add-cbrt-cube` `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 → 61

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

simplify110.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 4 (106.0ms)

Iter	Nodes	Cost
0	93	327
1	297	292
2	1088	277
3	3465	274
4	5002	265

prune247.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 34.7b

regimes230.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.5s

Algorithm

intervals

Results

8.0s	7876×	body	10240	exit
1.0s	2281×	body	1280	valid
343.0ms	1539×	body	640	valid
155.0ms	143×	body	2560	valid
148.0ms	5285×	body	80	nan
114.0ms	2801×	body	80	valid
109.0ms	790×	body	320	valid
41.0ms	432×	body	160	valid
21.0ms	14×	body	5120	valid