Details

sample1.4s

Algorithm

intervals

Results

679.0ms	277×	body	5120	exit
208.0ms	102×	body	2560	valid
72.0ms	80×	body	1280	valid
69.0ms	96×	body	1280	nan
37.0ms	91×	body	640	nan
21.0ms	273×	body	80	nan
20.0ms	35×	body	640	valid
11.0ms	42×	body	320	nan
6.0ms	18×	body	320	valid
5.0ms	21×	body	160	valid
4.0ms	24×	body	160	nan
1.0ms	1×	body	2560	nan

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	6
1	24	6
2	43	6
3	91	6
4	257	6
5	1277	6
6	5001	6

prune5.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: 61.2b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

3.4b	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
59.4b	(fmod (cosh a) (* a a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
1×	`acos-asin`

Counts

2 → 15

Calls

2 calls:

1.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.0ms	(fmod (cosh a) (* a a))

series11.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
8.0ms	(fmod (cosh a) (* a a))

simplify83.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	44	144
1	72	124
2	156	124
3	405	124
4	1938	124
5	5002	124

prune72.0ms

Filtered

21 candidates to 16 candidates (23.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	16	5	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	17	5	22

Merged error: 60.0b

Counts

22 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

3.4b	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
11.9b	(log (exp (fmod (cosh a) (* a a))))
59.4b	(fmod (cosh a) (* a a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `log-pow`
3×	`add-exp-log` `log-prod` `exp-prod` `add-cbrt-cube` `add-log-exp`
1×	`acos-asin` `rem-log-exp`

Counts

3 → 30

Calls

3 calls:

1.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
1.0ms	(fmod (cosh a) (* a a))

series6.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
2.0ms	(fmod (cosh a) (* a a))

simplify110.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	73	265
1	107	226
2	221	226
3	590	226
4	2934	226
5	5002	226

prune132.0ms

Filtered

39 candidates to 28 candidates (28.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	35	4	39
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	36	8	44

Merged error: 60.0b

Counts

44 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

1.2b	(asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
1.9b	(- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
11.9b	(log (exp (fmod (cosh a) (* a a))))
59.4b	(fmod (cosh a) (* a a))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
8×	`*-un-lft-identity`
6×	`add-cube-cbrt` `add-log-exp`
5×	`pow1`
4×	`add-exp-log` `log-pow` `add-cbrt-cube`
3×	`log-prod` `exp-prod`
2×	`asin-acos` `difference-of-squares`
1×	`sub-neg` `flip3--` `times-frac` `diff-log` `rem-log-exp` `flip--` `distribute-lft-out--` `associate--r-`

Counts

4 → 46

Calls

4 calls:

1.0ms	(asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
7.0ms	(- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
1.0ms	(fmod (cosh a) (* a a))

series11.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
6.0ms	(- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
2.0ms	(fmod (cosh a) (* a a))

simplify141.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 4 (132.0ms)

Iter	Nodes	Cost
0	148	533
1	295	476
2	702	474
3	2899	474
4	5001	472

prune227.0ms

Filtered

58 candidates to 42 candidates (27.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	53	5	58
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	56	10	66

Merged error: 60.0b

Counts

66 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

11.9b	(log (exp (fmod (cosh a) (* a a))))
59.4b	(fmod (cosh a) (* a a))
59.4b	(fmod (cosh a) (* a a))
59.4b	(fmod (cosh a) (* a a))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1`
4×	`add-exp-log` `log-pow` `add-cbrt-cube` `add-log-exp`
3×	`log-prod` `exp-prod`
1×	`rem-log-exp`

Counts

4 → 36

Calls

4 calls:

2.0ms	(log (exp (fmod (cosh a) (* a a))))
1.0ms	(fmod (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))

series6.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(log (exp (fmod (cosh a) (* a a))))
1.0ms	(fmod (cosh a) (* a a))
1.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))

simplify82.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	52	246
1	75	212
2	157	212
3	405	212
4	1946	212
5	5003	212

prune181.0ms

Filtered

48 candidates to 34 candidates (29.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	46	2	48
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	49	9	58

Merged error: 60.0b

Counts

58 → 9

regimes308.0ms

Accuracy

0% (0.4b remaining)

Error of 60.1b against oracle of 59.7b and baseline of 60.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	29
1	20	29

end0.0ms

sample32.2s

Algorithm

intervals

Results

18.9s	7929×	body	5120	exit
5.5s	3089×	body	2560	valid
2.1s	2515×	body	1280	valid
1.9s	2845×	body	1280	nan
967.0ms	2455×	body	640	nan
664.0ms	8813×	body	80	nan
611.0ms	1267×	body	640	valid
315.0ms	1232×	body	320	nan
219.0ms	665×	body	320	valid
103.0ms	622×	body	160	nan
78.0ms	340×	body	160	valid
15.0ms	6×	body	5120	nan
14.0ms	124×	body	80	valid
4.0ms	4×	body	2560	nan

Details

sample1.4s

simplify47.0ms

prune5.0ms

localize11.0ms

rewrite4.0ms

series11.0ms

simplify83.0ms

prune72.0ms

localize12.0ms

rewrite4.0ms

series6.0ms

simplify110.0ms

prune132.0ms

localize15.0ms

rewrite12.0ms

series11.0ms

simplify141.0ms

prune227.0ms

localize19.0ms

rewrite5.0ms

series6.0ms

simplify82.0ms

prune181.0ms

regimes308.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample32.2s

Profiling