Details

sample290.0ms

Algorithm

intervals

Results

210.0ms	209×	body	10240	exit
30.0ms	65×	body	1280	valid
11.0ms	49×	body	640	valid
8.0ms	7×	body	2560	valid
5.0ms	151×	body	80	nan
4.0ms	94×	body	80	valid
4.0ms	28×	body	320	valid
1.0ms	13×	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	1042	3
10	5002	3

prune2.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 33.4b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

38.0b

(fmod (cosh c) (log1p a))

rewrite1.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:

1.0ms

(fmod (cosh c) (log1p a))

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(fmod (cosh c) (log1p a))

simplify100.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	1844	42
8	5001	42

prune26.0ms

Filtered

10 candidates to 7 candidates (30.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	6	4	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	5	11

Merged error: 33.4b

Counts

11 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fmod (cosh c) (log1p a)))
0.0b	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
38.0b	(fmod (cosh c) (log1p a))
38.0b	(fmod (cosh c) (log1p a))

rewrite11.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)))
6.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series19.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify101.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 3 (94.0ms)

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

prune147.0ms

Filtered

88 candidates to 42 candidates (52.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	79	9	88
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	79	14	93

Merged error: 33.3b

Counts

93 → 14

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
38.0b	(fmod (cosh c) (log1p a))
38.0b	(fmod (cosh c) (log1p a))
38.0b	(fmod (cosh c) (log1p a))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

66×	`sqrt-prod`
46×	`add-sqr-sqrt`
32×	`sqrt-pow1`
27×	`pow1`
16×	`add-cube-cbrt` `*-un-lft-identity` `pow1/2`
15×	`swap-sqr`
9×	`associate-r` `associate-l` `pow-prod-up` `unswap-sqr`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow-prod-down` `pow-sqr`
4×	`add-log-exp`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 96

Calls

4 calls:

13.0ms	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series16.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify163.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 3 (155.0ms)

Iter	Nodes	Cost
0	130	727
1	532	625
2	3264	594
3	5001	579

prune192.0ms

Filtered

108 candidates to 45 candidates (58.3%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	102	6	108
Fresh	2	9	11
Picked	0	1	1
Done	1	1	2
Total	105	17	122

Merged error: 33.3b

Counts

122 → 17

localize10.0ms

Local error

Found 3 expressions with local error:

0.7b	(exp (log (fmod (cosh c) (log1p a))))
2.1b	(log (fmod (cosh c) (log1p a)))
38.0b	(fmod (cosh c) (log1p a))

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

Counts

3 → 35

Calls

3 calls:

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

series28.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify82.0ms

Algorithm

egg-herbie

Counts

44 → 44

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	2459	194
7	5001	194

prune77.0ms

Filtered

44 candidates to 25 candidates (43.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	36	8	44
Fresh	5	9	14
Picked	1	0	1
Done	2	0	2
Total	44	17	61

Merged error: 33.3b

Counts

61 → 17

regimes354.0ms

Accuracy

0% (0.0b remaining)

Error of 33.8b against oracle of 33.8b and baseline of 33.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	5
1	12	5
2	12	5

end0.0ms

sample10.5s

Algorithm

intervals

Results

8.1s	7906×	body	10240	exit
1.1s	2288×	body	1280	valid
352.0ms	1544×	body	640	valid
164.0ms	5235×	body	80	nan
148.0ms	138×	body	2560	valid
129.0ms	2828×	body	80	valid
110.0ms	769×	body	320	valid
44.0ms	426×	body	160	valid
11.0ms	7×	body	5120	valid