Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
99.7%	0%	0.3%	1

sample167.0ms

Algorithm

intervals

Results

61.0ms	52×	body	2560	valid
47.0ms	65×	body	1280	valid
20.0ms	46×	body	640	valid
7.0ms	65×	body	80	valid
6.0ms	20×	body	320	valid
6.0ms	2×	body	5120	valid
1.0ms	6×	body	160	valid

simplify19.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	771	27
1	771	27

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 45.0b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

2.6b	(.f64 (.f64 (+.f64 (*.f64 y 2.0) 1.0) z) t)
2.9b	(.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t)
29.9b	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 y 2.0) 1.0) z) t) 16.0))
34.1b	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t) 16.0))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`associate-*l/_binary64`
6×	`pow-prod-down_binary64` `-un-lft-identity_binary64` `cbrt-unprod_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64`
2×	`flip3-+_binary64` `associate-l_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

4 → 54

Calls

4 calls:

10.0ms	(.f64 (.f64 (+.f64 (*.f64 y 2.0) 1.0) z) t)
9.0ms	(.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t)
3.0ms	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 y 2.0) 1.0) z) t) 16.0))
3.0ms	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t) 16.0))

series52.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(.f64 (.f64 (+.f64 (*.f64 y 2.0) 1.0) z) t)
11.0ms	(.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t)
16.0ms	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 y 2.0) 1.0) z) t) 16.0))
14.0ms	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t) 16.0))

simplify35.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5202	710

prune224.0ms

Filtered

50 candidates to 66 candidates (-32.0%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	44	22	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	22	67

Merged error: 40.3b

Counts

67 → 22

localize23.0ms

Local error

Found 4 expressions with local error:

2.7b	(.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z))
2.9b	(.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t)
29.8b	(cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z)) 16.0))
34.1b	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t) 16.0))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`pow-prod-down_binary64` `-un-lft-identity_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64` `associate-l/_binary64`
4×	`add-log-exp_binary64` `associate-r_binary64` `associate-l_binary64`
2×	`flip3-+_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

4 → 54

Calls

4 calls:

9.0ms	(.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z))
11.0ms	(.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t)
3.0ms	(cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z)) 16.0))
3.0ms	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t) 16.0))

series51.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z))
11.0ms	(.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t)
15.0ms	(cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z)) 16.0))
15.0ms	(cos.f64 (/.f64 (.f64 (.f64 (+.f64 (*.f64 a 2.0) 1.0) b) t) 16.0))

simplify60.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4970	713
1	4970	713

prune212.0ms

Filtered

49 candidates to 66 candidates (-34.7%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	55	11	66
Fresh	6	15	21
Picked	1	0	1
Done	0	0	0
Total	62	26	88

Merged error: 40.2b

Counts

88 → 26

localize13.0ms

Local error

Found 3 expressions with local error:

0.1b	(.f64 x (cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (.f64 t z)) 16.0)))
2.7b	(.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z))
29.8b	(cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z)) 16.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`-un-lft-identity_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64`
3×	`add-log-exp_binary64`
2×	`associate-l/_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `unswap-sqr_binary64` `flip-+_binary64`

Counts

3 → 45

Calls

3 calls:

4.0ms	(.f64 x (cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (.f64 t z)) 16.0)))
11.0ms	(.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z))
3.0ms	(cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z)) 16.0))

series53.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(.f64 x (cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (.f64 t z)) 16.0)))
11.0ms	(.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z))
15.0ms	(cos.f64 (/.f64 (.f64 (+.f64 (.f64 y 2.0) 1.0) (*.f64 t z)) 16.0))

simplify65.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4953	673
1	4953	673

prune230.0ms

Filtered

39 candidates to 54 candidates (-38.5%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	39	15	54
Fresh	7	18	25
Picked	1	0	1
Done	0	0	0
Total	47	33	80

Merged error: 39.1b

Counts

80 → 33

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify5.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms

Pruning

33 alts after pruning (32 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	32	32
Picked	1	1
Done	0	0
Total	33	33

Merged error: 39.1b

Counts

33 → 33

regimes2.7s

Accuracy

0% (4.3b remaining)

Error of 44.0b against oracle of 39.7b and baseline of 44.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	1
1	5	1

end0.0ms

sample5.3s

Algorithm

intervals

Results

2.2s	1761×	body	2560	valid
1.6s	2269×	body	1280	valid
547.0ms	1172×	body	640	valid
215.0ms	1947×	body	80	valid
185.0ms	525×	body	320	valid
132.0ms	49×	body	5120	valid
64.0ms	277×	body	160	valid

Details

analyze3.0ms

sample167.0ms

simplify19.0ms

prune9.0ms

localize22.0ms

rewrite26.0ms

series52.0ms

simplify35.0ms

prune224.0ms

localize23.0ms

rewrite27.0ms

series51.0ms

simplify60.0ms

prune212.0ms

localize13.0ms

rewrite19.0ms

series53.0ms

simplify65.0ms

prune230.0ms

localize2.0ms

rewrite0.0ms

series0.0ms

simplify5.0ms

prune1.0ms

regimes2.7s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample5.3s

Profiling