Details

sample393.0ms

Algorithm

intervals

Results

120.0ms	256×	body	5120	exit
18.0ms	256×	body	80	valid

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	4
1	34	4
2	69	4
3	155	4
4	463	4
5	2090	4
6	5001	4

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: 0.0b

Counts

2 → 1

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b

(sinh c)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `sinh-def` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

3.0ms

(sinh c)

series80.0ms

Counts

1 → 3

Calls

1 calls:

80.0ms

(sinh c)

simplify123.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	63	42
1	133	39
2	319	39
3	809	39
4	4112	39
5	5001	39

prune39.0ms

Filtered

13 candidates to 12 candidates (92.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	10	3	13
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	10	4	14

Merged error: 0b

Counts

14 → 4

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))

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` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))

series55.0ms

Counts

1 → 3

Calls

1 calls:

55.0ms

(fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))

simplify147.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	41	74
1	119	65
2	587	65
3	4170	65
4	5001	65

prune40.0ms

Filtered

13 candidates to 10 candidates (76.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	13	4	17

Merged error: 0b

Counts

17 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (sinh c)) (cbrt (sinh c)))
0.6b	(cbrt (sinh c))
0.6b	(cbrt (sinh c))
0.6b	(cbrt (sinh c))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
7×	`sinh-def` `cbrt-div`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

6.0ms	(* (cbrt (sinh c)) (cbrt (sinh c)))
1.0ms	(cbrt (sinh c))
1.0ms	(cbrt (sinh c))
2.0ms	(cbrt (sinh c))

series663.0ms

Counts

4 → 12

Calls

4 calls:

180.0ms	(* (cbrt (sinh c)) (cbrt (sinh c)))
161.0ms	(cbrt (sinh c))
161.0ms	(cbrt (sinh c))
161.0ms	(cbrt (sinh c))

simplify80.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 3 (73.0ms)

Iter	Nodes	Cost
0	206	564
1	608	523
2	2462	467
3	5001	463

prune218.0ms

Filtered

99 candidates to 70 candidates (70.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	99	4	103

Merged error: 0b

Counts

103 → 4

localize12.0ms

Local error

Found 1 expressions with local error:

4.4b	(- (exp c) (exp (* -1 c)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`prod-diff`
8×	`add-cube-cbrt`
3×	`fma-neg` `add-log-exp`
1×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `log1p-expm1-u` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 28

Calls

1 calls:

5.0ms

(- (exp c) (exp (* -1 c)))

series37.0ms

Counts

1 → 3

Calls

1 calls:

37.0ms

(- (exp c) (exp (* -1 c)))

simplify68.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 3 (64.0ms)

Iter	Nodes	Cost
0	153	354
1	390	230
2	1886	229
3	5003	203

prune53.0ms

Filtered

31 candidates to 18 candidates (58.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	31	0	31
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	31	4	35

Merged error: 0b

Counts

35 → 4

regimes55.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	4

end0.0ms

sample4.2s

Algorithm

intervals

Results

3.4s	7937×	body	5120	exit
547.0ms	8002×	body	80	valid
3.0ms	5×	body	2560	valid
2.0ms	2×	body	5120	valid
1.0ms	3×	body	1280	valid
1.0ms	3×	body	320	valid
1.0ms	2×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample393.0ms

simplify75.0ms

prune4.0ms

localize10.0ms

rewrite4.0ms

series80.0ms

simplify123.0ms

prune39.0ms

localize15.0ms

rewrite1.0ms

series55.0ms

simplify147.0ms

prune40.0ms

localize12.0ms

rewrite13.0ms

series663.0ms

simplify80.0ms

prune218.0ms

localize12.0ms

rewrite6.0ms

series37.0ms

simplify68.0ms

prune53.0ms

regimes55.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.2s

Profiling