Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

sample75.0ms

Algorithm

intervals

Results

17.0ms	186×	body	80	valid
9.0ms	25×	body	640	valid
9.0ms	18×	body	1280	valid
7.0ms	74×	body	80	invalid
6.0ms	20×	body	320	valid
3.0ms	9×	body	640	invalid
3.0ms	6×	body	1280	invalid
1.0ms	7×	body	160	valid
1.0ms	3×	body	320	invalid
1.0ms	4×	body	160	invalid

simplify217.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (207.0ms)

Iter	Nodes	Cost
0	7193	24

prune10.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: 29.1b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
3.6b	(.f64 (.f64 x (pow.f64 s 2)) x)
8.1b	(*.f64 x (pow.f64 s 2))
20.0b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

122×	`add-exp-log_binary64`
82×	`prod-exp_binary64`
34×	`add-cbrt-cube_binary64`
18×	`pow-to-exp_binary64` `add-sqr-sqrt_binary64` `pow-exp_binary64`
16×	`cbrt-unprod_binary64` `div-exp_binary64`
12×	`-un-lft-identity_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
7×	`unpow-prod-down_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64`
3×	`unpow2_binary64` `sqr-pow_binary64` `associate-/l_binary64` `times-frac_binary64` `-commutative_binary64`
1×	`pow-prod-down_binary64` `associate-/r*_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `cos-2_binary64`

Counts

4 → 119

Calls

4 calls:

11.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
6.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
5.0ms	(*.f64 x (pow.f64 s 2))
10.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

series209.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
35.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
28.0ms	(*.f64 x (pow.f64 s 2))
64.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

simplify92.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4990	2312
1	4990	2312

prune275.0ms

Filtered

67 candidates to 131 candidates (-95.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	121	10	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	10	132

Merged error: 14.1b

Counts

132 → 10

localize18.0ms

Local error

Found 3 expressions with local error:

0.2b

(*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s)))

0.9b

(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s)))))

20.0b

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-exp-log_binary64`
19×	`add-cbrt-cube_binary64` `prod-exp_binary64`
15×	`add-sqr-sqrt_binary64`
11×	`-un-lft-identity_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
10×	`pow1_binary64`
7×	`cbrt-unprod_binary64` `div-exp_binary64`
5×	`unswap-sqr_binary64`
4×	`pow-to-exp_binary64` `associate-r_binary64` `unpow-prod-down_binary64` `pow-exp_binary64`
3×	`add-log-exp_binary64` `swap-sqr_binary64` `cbrt-undiv_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `unpow2_binary64` `sqr-pow_binary64` `pow2_binary64` `*-commutative_binary64`
1×	`associate-/r*_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `pow-sqr_binary64` `cos-2_binary64`

Counts

3 → 83

Calls

3 calls:

4.0ms

(*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s)))

9.0ms

(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s)))))

11.0ms

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s))))

series175.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms

(*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s)))

116.0ms

(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s)))))

39.0ms

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 x s)) (fabs.f64 (*.f64 x s))))

simplify82.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5220	1612

prune295.0ms

Filtered

53 candidates to 92 candidates (-73.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	82	10	92
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	87	15	102

Merged error: 2.8b

Counts

102 → 15

localize16.0ms

Local error

Found 3 expressions with local error:

0.3b	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
0.9b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))
4.2b	(.f64 c (fabs.f64 (.f64 x s)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
17×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`add-exp-log_binary64`
8×	`pow1_binary64`
7×	`add-cbrt-cube_binary64`
6×	`associate-/r*_binary64`
5×	`unpow2_binary64` `sqr-pow_binary64` `unpow-prod-down_binary64`
4×	`div-exp_binary64` `pow-exp_binary64`
3×	`pow-unpow_binary64` `add-log-exp_binary64` `associate-r_binary64` `associate-l_binary64` `prod-exp_binary64` `associate-/l*_binary64`
2×	`pow-to-exp_binary64` `pow-prod-down_binary64` `pow-pow_binary64`
1×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `cos-2_binary64` `*-commutative_binary64`

Counts

3 → 79

Calls

3 calls:

4.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
5.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))
4.0ms	(.f64 c (fabs.f64 (.f64 x s)))

series163.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 x s))) 2)
118.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 x s))) 2))
17.0ms	(.f64 c (fabs.f64 (.f64 x s)))

simplify73.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5108	1882

prune362.0ms

Filtered

59 candidates to 88 candidates (-49.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	77	11	88
Fresh	8	6	14
Picked	1	0	1
Done	0	0	0
Total	86	17	103

Merged error: 2.5b

Counts

103 → 17

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))
0.6b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (*.f64 x s))))
4.2b	(.f64 c (fabs.f64 (.f64 x s)))
4.2b	(.f64 c (fabs.f64 (.f64 x s)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`times-frac_binary64`
14×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
12×	`cbrt-undiv_binary64` `div-exp_binary64`
10×	`associate-/l*_binary64`
8×	`pow1_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64`
2×	`pow-prod-down_binary64` `associate-/r_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `-commutative_binary64`
1×	`associate-/l/_binary64`

Counts

4 → 95

Calls

4 calls:

7.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))
5.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (*.f64 x s))))
3.0ms	(.f64 c (fabs.f64 (.f64 x s)))
4.0ms	(.f64 c (fabs.f64 (.f64 x s)))

series234.0ms

Counts

4 → 12

Calls

4 calls:

124.0ms	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (.f64 x s)))) (.f64 c (fabs.f64 (*.f64 x s))))
73.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (fabs.f64 (*.f64 x s))))
20.0ms	(.f64 c (fabs.f64 (.f64 x s)))
16.0ms	(.f64 c (fabs.f64 (.f64 x s)))

simplify95.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4971	2073
1	4971	2073

prune282.0ms

Filtered

69 candidates to 107 candidates (-55.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	101	6	107
Fresh	9	7	16
Picked	1	0	1
Done	0	0	0
Total	111	13	124

Merged error: 2.5b

Counts

124 → 13

regimes410.0ms

Accuracy

0% (0.3b remaining)

Error of 2.9b against oracle of 2.6b and baseline of 2.9b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	40
1	20	40

end0.0ms

sample2.1s

Algorithm

intervals

Results

556.0ms	5961×	body	80	valid
354.0ms	689×	body	1280	valid
276.0ms	753×	body	640	valid
175.0ms	1812×	body	80	invalid
113.0ms	407×	body	320	valid
85.0ms	245×	body	640	invalid
62.0ms	123×	body	1280	invalid
49.0ms	187×	body	320	invalid
35.0ms	190×	body	160	valid
23.0ms	113×	body	160	invalid

Details

analyze1.1s

sample75.0ms

simplify217.0ms

prune10.0ms

localize24.0ms

rewrite37.0ms

series209.0ms

simplify92.0ms

prune275.0ms

localize18.0ms

rewrite27.0ms

series175.0ms

simplify82.0ms

prune295.0ms

localize16.0ms

rewrite15.0ms

series163.0ms

simplify73.0ms

prune362.0ms

localize16.0ms

rewrite23.0ms

series234.0ms

simplify95.0ms

prune282.0ms

regimes410.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.1s

Profiling