Details

sample1.1s

Algorithm

intervals

Results

437.0ms	242×	body	10240	exit
176.0ms	105×	body	2560	valid
70.0ms	108×	body	1280	nan
60.0ms	80×	body	1280	valid
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	1×	body	5120	nan
2.0ms	10×	body	160	valid
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	5001	6

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

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

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 32

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

series133.0ms

Counts

3 → 9

Calls

3 calls:

121.0ms	(pow (fmod (cosh a) (* a a)) (log1p a))
3.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
9.0ms	(fmod (cosh a) (* a a))

simplify141.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	91	291
1	249	265
2	805	265
3	3873	265
4	5001	265

prune125.0ms

Filtered

41 candidates to 29 candidates (70.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	35	6	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	36	6	42

Merged error: 60.2b

Counts

42 → 6

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

rewrite8.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×	`add-cbrt-cube` `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 → 51

Calls

4 calls:

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

series120.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify189.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 3 (32.0ms)

Iter	Nodes	Cost
0	135	479
1	312	424
2	956	424
3	4680	420
4	5001	420

prune191.0ms

Filtered

63 candidates to 44 candidates (69.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	59	4	63
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	60	9	69

Merged error: 60.1b

Counts

69 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
1.9b	(acos (log (exp (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))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

20×	`log-pow`
17×	`exp-prod`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`pow1` `unpow-prod-down`
6×	`log-prod`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
2×	`rem-log-exp`
1×	`acos-asin` `sqr-pow`

Counts

4 → 53

Calls

4 calls:

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

series117.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify88.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	134	516
1	241	431
2	629	431
3	2468	431
4	5003	431

prune234.0ms

Filtered

65 candidates to 49 candidates (75.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	61	4	65
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	64	10	74

Merged error: 60.1b

Counts

74 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

1.9b	(acos (* (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a)) (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))))
10.0b	(log (exp (sqrt (fmod (cosh a) (* a a)))))
60.0b	(fmod (cosh a) (* a a))
60.0b	(fmod (cosh a) (* a a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

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

series21.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify143.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 3 (11.0ms)

Iter	Nodes	Cost
0	94	448
1	148	373
2	320	373
3	946	372
4	4411	372
5	5001	372

prune175.0ms

Filtered

52 candidates to 39 candidates (75.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	50	2	52
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	52	10	62

Merged error: 60.1b

Counts

62 → 10

regimes226.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	18
1	17	18

end0.0ms

sample25.1s

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
724.0ms	2580×	body	640	nan
515.0ms	1287×	body	640	valid
406.0ms	8871×	body	80	nan
220.0ms	1259×	body	320	nan
172.0ms	605×	body	320	valid
77.0ms	667×	body	160	nan
64.0ms	317×	body	160	valid
19.0ms	9×	body	5120	nan
13.0ms	129×	body	80	valid
13.0ms	13×	body	2560	nan

Details

sample1.1s

simplify49.0ms

prune4.0ms

localize12.0ms

rewrite7.0ms

series133.0ms

simplify141.0ms

prune125.0ms

localize13.0ms

rewrite8.0ms

series120.0ms

simplify189.0ms

prune191.0ms

localize15.0ms

rewrite11.0ms

series117.0ms

simplify88.0ms

prune234.0ms

localize15.0ms

rewrite6.0ms

series21.0ms

simplify143.0ms

prune175.0ms

regimes226.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample25.1s

Profiling