Details

sample1.1s

Algorithm

intervals

Results

448.0ms	242×	body	10240	exit
175.0ms	105×	body	2560	valid
60.0ms	80×	body	1280	valid
57.0ms	108×	body	1280	nan
23.0ms	77×	body	640	nan
18.0ms	42×	body	640	valid
13.0ms	276×	body	80	nan
8.0ms	44×	body	320	nan
5.0ms	17×	body	320	valid
3.0ms	25×	body	160	nan
2.0ms	10×	body	160	valid
2.0ms	1×	body	5120	nan
2.0ms	2×	body	2560	nan
0.0ms	2×	body	80	valid

simplify49.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	5002	6

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

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(pow (fmod (cosh a) (* a a)) (log1p a))
1.9b	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
60.0b	(fmod (cosh a) (* a a))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log`
3×	`expm1-log1p-u` `unpow-prod-down` `pow-unpow` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
1×	`acos-asin` `pow-to-exp` `pow-pow` `pow-exp` `sqr-pow`

Counts

3 → 38

Calls

3 calls:

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

series67.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(pow (fmod (cosh a) (* a a)) (log1p a))
3.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
8.0ms	(fmod (cosh a) (* a a))

simplify105.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 3 (99.0ms)

Iter	Nodes	Cost
0	220	450
1	820	423
2	3551	413
3	5001	405

prune177.0ms

Filtered

47 candidates to 37 candidates (78.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	40	7	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	7	48

Merged error: 60.2b

Counts

48 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
1.9b	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
10.8b	(log (exp (fmod (cosh a) (* a a))))
60.0b	(fmod (cosh a) (* a a))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`log-pow`
7×	`pow1` `unpow-prod-down`
6×	`exp-prod`
5×	`add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow-unpow` `log-prod`
1×	`acos-asin` `pow-to-exp` `pow-pow` `rem-log-exp` `pow-exp` `sqr-pow`

Counts

4 → 59

Calls

4 calls:

4.0ms	(pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
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))

series54.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify104.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 3 (97.0ms)

Iter	Nodes	Cost
0	265	654
1	902	598
2	3697	588
3	5001	580

prune264.0ms

Filtered

71 candidates to 54 candidates (76.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	66	5	71
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	68	10	78

Merged error: 60.1b

Counts

78 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

10.5b	(log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
60.0b	(fmod (cosh a) (* a a))
60.0b	(fmod (cosh a) (* a a))
60.0b	(fmod (cosh a) (* a a))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 43

Calls

4 calls:

2.0ms	(log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (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))

series140.0ms

Counts

4 → 12

Calls

4 calls:

134.0ms	(log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))

simplify164.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 4 (35.0ms)

Iter	Nodes	Cost
0	61	413
1	114	342
2	274	337
3	731	331
4	3953	311
5	5001	311

prune284.0ms

Filtered

55 candidates to 44 candidates (80.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	55	10	65

Merged error: 60.1b

Counts

65 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

60.0b	(fmod (cosh a) (* a a))
60.0b	(fmod (cosh a) (* a a))
60.0b	(fmod (cosh a) (* a a))
60.0b	(fmod (cosh a) (* a a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

4×	`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

4 → 36

Calls

4 calls:

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

series7.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))
2.0ms	(fmod (cosh a) (* a a))

simplify60.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	25	228
1	42	200
2	94	200
3	232	200
4	1067	200
5	5001	200

prune289.0ms

Filtered

48 candidates to 40 candidates (83.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	47	1	48
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	47	11	58

Merged error: 60.1b

Counts

58 → 11

regimes269.0ms

Accuracy

0% (0.3b remaining)

Error of 60.0b against oracle of 59.8b and baseline of 60.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	37
1	25	37

end0.0ms

sample24.9s

Algorithm

intervals

Results

13.8s	7956×	body	10240	exit
5.0s	3131×	body	2560	valid
1.9s	2531×	body	1280	valid
1.5s	2938×	body	1280	nan
715.0ms	2580×	body	640	nan
509.0ms	1287×	body	640	valid
397.0ms	8871×	body	80	nan
214.0ms	1259×	body	320	nan
168.0ms	605×	body	320	valid
79.0ms	667×	body	160	nan
64.0ms	317×	body	160	valid
19.0ms	9×	body	5120	nan
13.0ms	129×	body	80	valid
12.0ms	13×	body	2560	nan

Details

sample1.1s

simplify49.0ms

prune5.0ms

localize13.0ms

rewrite8.0ms

series67.0ms

simplify105.0ms

prune177.0ms

localize13.0ms

rewrite9.0ms

series54.0ms

simplify104.0ms

prune264.0ms

localize20.0ms

rewrite5.0ms

series140.0ms

simplify164.0ms

prune284.0ms

localize21.0ms

rewrite4.0ms

series7.0ms

simplify60.0ms

prune289.0ms

regimes269.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample24.9s

Profiling