Details

sample386.0ms

Algorithm

intervals

Results

293.0ms	274×	body	5120	exit
43.0ms	83×	body	1280	valid
13.0ms	55×	body	640	valid
7.0ms	208×	body	80	nan
4.0ms	88×	body	80	valid
3.0ms	3×	body	2560	valid
2.0ms	12×	body	320	valid
2.0ms	15×	body	160	valid

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

Filtered

1 candidates to 0 candidates (0.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: 34.4b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

38.9b

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

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

prune38.0ms

Filtered

10 candidates to 7 candidates (70.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 34.4b

Counts

11 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
18×	`pow1` `sqrt-prod`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`sqrt-pow1` `pow1/2` `swap-sqr`
6×	`associate-r` `associate-l`
5×	`add-exp-log` `pow-prod-up` `add-cbrt-cube`
4×	`unswap-sqr`
3×	`pow-prod-down` `pow-sqr` `add-log-exp`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

3 → 63

Calls

3 calls:

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

series7.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify103.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (97.0ms)

Iter	Nodes	Cost
0	96	405
1	366	348
2	2218	328
3	5001	310

prune135.0ms

Filtered

72 candidates to 31 candidates (43.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	66	6	72
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	66	12	78

Merged error: 34.4b

Counts

78 → 12

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
0.0b	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
38.9b	(fmod (cosh c) (log1p a))
38.9b	(fmod (cosh c) (log1p a))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

87×	`sqrt-prod`
66×	`add-sqr-sqrt`
27×	`unpow-prod-down` `cube-prod`
24×	`associate-l` `unswap-sqr`
21×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log`
9×	`associate-r`
8×	`pow1`
7×	`add-cbrt-cube`
5×	`pow-pow` `sqr-pow`
4×	`sqrt-pow1` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `pow1/2` `unpow3` `pow-exp`
1×	`pow-plus` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 125

Calls

4 calls:

12.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
4.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series71.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
63.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify52.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	233	1355
1	1058	1134
2	5001	943

prune249.0ms

Filtered

137 candidates to 52 candidates (38.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	131	6	137
Fresh	3	6	9
Picked	1	0	1
Done	2	0	2
Total	137	12	149

Merged error: 34.4b

Counts

149 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

0.7b	(exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
1.0b	(log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
38.9b	(fmod (cosh c) (log1p a))
38.9b	(fmod (cosh c) (log1p a))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

48×	`log-prod`
36×	`sqrt-prod`
24×	`exp-sum`
19×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log`
4×	`pow1` `exp-prod` `add-cbrt-cube` `add-log-exp`
3×	`rem-log-exp`
2×	`cube-mult` `unpow3` `log-pow` `sqr-pow`
1×	`pow-to-exp` `pow-exp` `rem-exp-log`

Counts

4 → 85

Calls

4 calls:

6.0ms	(exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
5.0ms	(log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
1.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series144.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
83.0ms	(log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify119.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 3 (109.0ms)

Iter	Nodes	Cost
0	206	948
1	527	857
2	2658	842
3	5002	839

prune202.0ms

Filtered

97 candidates to 44 candidates (45.4%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	89	8	97
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	93	16	109

Merged error: 34.4b

Counts

109 → 16

regimes387.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	15	16
1	15	16

end0.0ms

sample10.9s

Algorithm

intervals

Results

8.3s	7838×	body	5120	exit
1.1s	2297×	body	1280	valid
389.0ms	1584×	body	640	valid
182.0ms	163×	body	2560	valid
175.0ms	5366×	body	80	nan
137.0ms	2730×	body	80	valid
117.0ms	774×	body	320	valid
53.0ms	444×	body	160	valid
14.0ms	8×	body	5120	valid