Details

analyze7.0ms

Algorithm

Search

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

sample174.0ms

Algorithm

intervals

Results

84.0ms	67×	body	2560	valid
42.0ms	63×	body	1280	valid
19.0ms	42×	body	640	valid
6.0ms	60×	body	80	valid
3.0ms	10×	body	320	valid
3.0ms	13×	body	160	valid
2.0ms	1×	body	5120	valid

simplify32.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	989	23
1	989	23

prune12.0ms

Filtered

1 candidates to 1 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: 45.9b

Counts

2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

2.1b	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
2.3b	(.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8)))
35.0b	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8))))
35.6b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 64

Calls

4 calls:

10.0ms	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
10.0ms	(.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8)))
4.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8))))
7.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

series40.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
11.0ms	(.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8)))
9.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (/.f64 a 8))))
9.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

simplify59.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5573	844

prune194.0ms

Filtered

50 candidates to 76 candidates (-52.0%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	53	23	76
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	54	24	78

Merged error: 41.3b

Counts

78 → 24

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (.f64 1/16 (.f64 t b))))
2.1b	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
28.2b	(cos.f64 (.f64 1/16 (.f64 t b)))
35.6b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`*-un-lft-identity_binary64`
7×	`associate-r_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64`
2×	`associate-r/_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `cos-sum_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `distribute-lft-out_binary64` `flip-+_binary64`

Counts

4 → 57

Calls

4 calls:

8.0ms	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (.f64 1/16 (.f64 t b))))
10.0ms	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
3.0ms	(cos.f64 (.f64 1/16 (.f64 t b)))
4.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

series68.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))) (cos.f64 (.f64 1/16 (.f64 t b))))
11.0ms	(.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8)))
4.0ms	(cos.f64 (.f64 1/16 (.f64 t b)))
9.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (/.f64 y 8))))

simplify35.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4993	891
1	4993	891

prune193.0ms

Filtered

47 candidates to 69 candidates (-46.8%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	52	17	69
Fresh	8	15	23
Picked	1	0	1
Done	0	0	0
Total	61	32	93

Merged error: 40.0b

Counts

93 → 32

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify6.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

prune117.0ms

Pruning

32 alts after pruning (31 fresh and 1 done)

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

Merged error: 40.0b

Counts

32 → 32

localize29.0ms

Local error

Found 4 expressions with local error:

28.5b	(cos.f64 (.f64 (.f64 z t) 1/16))
28.8b	(sin.f64 (.f64 (.f64 z t) 1/16))
30.6b	(cos.f64 (.f64 (.f64 z t) (/.f64 y 8)))
31.1b	(sin.f64 (.f64 (.f64 z t) (/.f64 y 8)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 28

Calls

4 calls:

3.0ms	(cos.f64 (.f64 (.f64 z t) 1/16))
3.0ms	(sin.f64 (.f64 (.f64 z t) 1/16))
3.0ms	(cos.f64 (.f64 (.f64 z t) (/.f64 y 8)))
3.0ms	(sin.f64 (.f64 (.f64 z t) (/.f64 y 8)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(cos.f64 (.f64 (.f64 z t) 1/16))
4.0ms	(sin.f64 (.f64 (.f64 z t) 1/16))
9.0ms	(cos.f64 (.f64 (.f64 z t) (/.f64 y 8)))
7.0ms	(sin.f64 (.f64 (.f64 z t) (/.f64 y 8)))

simplify136.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (129.0ms)

Iter	Nodes	Cost
0	5344	328

prune51.0ms

Filtered

34 candidates to 40 candidates (-17.6%)

Pruning

36 alts after pruning (35 fresh and 1 done)

	Pruned	Kept	Total
New	34	6	40
Fresh	1	29	30
Picked	1	0	1
Done	0	1	1
Total	36	36	72

Merged error: 40.0b

Counts

72 → 36

regimes1.2s

Accuracy

0% (4.6b remaining)

Error of 44.1b against oracle of 39.5b and baseline of 44.1b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	1	1
1	1	1

end0.0ms

sample5.1s

Algorithm

intervals

Results

2.1s	1753×	body	2560	valid
1.6s	2277×	body	1280	valid
540.0ms	1185×	body	640	valid
208.0ms	1927×	body	80	valid
191.0ms	569×	body	320	valid
109.0ms	43×	body	5120	valid
55.0ms	246×	body	160	valid

Details

analyze7.0ms

sample174.0ms

simplify32.0ms

prune12.0ms

localize22.0ms

rewrite33.0ms

series40.0ms

simplify59.0ms

prune194.0ms

localize18.0ms

rewrite27.0ms

series68.0ms

simplify35.0ms

prune193.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify6.0ms

prune117.0ms

localize29.0ms

rewrite12.0ms

series24.0ms

simplify136.0ms

prune51.0ms

regimes1.2s

bsearch0.0ms

simplify3.0ms

end0.0ms

sample5.1s

Profiling