Details

sample386.0ms

Algorithm

intervals

Results

296.0ms	274×	body	5120	exit
39.0ms	83×	body	1280	valid
13.0ms	55×	body	640	valid
6.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

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

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

localize6.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` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

1 → 9

Calls

1 calls:

1.0ms

(fmod (cosh c) (log1p a))

series3.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 (3.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

prune43.0ms

Filtered

12 candidates to 9 candidates (75.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	7	5	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	6	13

Merged error: 34.4b

Counts

13 → 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×	`expm1-log1p-u` `pow-prod-down` `pow-sqr` `log1p-expm1-u` `add-log-exp`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

3 → 69

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

simplify105.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 3 (99.0ms)

Iter	Nodes	Cost
0	100	429
1	376	372
2	2253	352
3	5001	334

prune151.0ms

Filtered

78 candidates to 37 candidates (47.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

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

Merged error: 34.4b

Counts

84 → 12

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

rewrite24.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×	`expm1-log1p-u` `sqrt-pow1` `log1p-expm1-u` `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 → 133

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

series68.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)))))
61.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify54.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	240	1411
1	1074	1190
2	5002	981

prune272.0ms

Filtered

145 candidates to 60 candidates (41.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	139	6	145
Fresh	3	6	9
Picked	1	0	1
Done	2	0	2
Total	145	12	157

Merged error: 34.4b

Counts

157 → 12

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

rewrite18.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` `expm1-log1p-u` `exp-prod` `add-cbrt-cube` `log1p-expm1-u` `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 → 93

Calls

4 calls:

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

series146.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(exp (log (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)))
80.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))

simplify125.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 3 (115.0ms)

Iter	Nodes	Cost
0	212	994
1	535	899
2	2826	880
3	5001	862

prune247.0ms

Filtered

105 candidates to 54 candidates (51.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	95	10	105
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	100	17	117

Merged error: 34.4b

Counts

117 → 17

regimes406.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
390.0ms	1584×	body	640	valid
180.0ms	163×	body	2560	valid
180.0ms	5366×	body	80	nan
145.0ms	2730×	body	80	valid
120.0ms	774×	body	320	valid
51.0ms	444×	body	160	valid
14.0ms	8×	body	5120	valid