Details

analyze139.0ms

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
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
25%	56.2%	18.8%	7
25%	48.4%	26.6%	8
25%	35.1%	39.9%	9
28.1%	18.3%	53.6%	10
31.6%	12.3%	56.1%	11
33.4%	5.9%	60.8%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

sample24.0ms

Algorithm

intervals

Results

16.0ms

256×

body

128

valid

simplify43.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5054	46

prune3.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: 0.2b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
0.7b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

18×	`associate-*r/_binary64`
17×	`pow1_binary64` `add-exp-log_binary64`
16×	`add-cbrt-cube_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
10×	`associate-r_binary64` `add-cube-cbrt_binary64`
7×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
5×	`associate-l_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `frac-add_binary64` `flip-+_binary64`
3×	`pow-unpow_binary64` `flip3--_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `unpow-prod-down_binary64` `flip--_binary64` `*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`pow-to-exp_binary64` `distribute-lft-out_binary64` `unpow2_binary64` `pow-pow_binary64` `sqr-pow_binary64` `pow-exp_binary64`

Counts

4 → 91

Calls

4 calls:

17.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
5.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

series250.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
63.0ms	(.f64 (.f64 a a) (+.f64 1 a))
49.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
65.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))

simplify95.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4940	2012
1	4940	2012

prune116.0ms

Filtered

69 candidates to 103 candidates (-49.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	101	3	104

Merged error: 0.0b

Counts

104 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.7b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
2.2b	(.f64 (.f64 b b) (*.f64 a a))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

44×	`pow1_binary64`
28×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
21×	`pow-prod-down_binary64`
18×	`associate-*r/_binary64`
15×	`cbrt-unprod_binary64` `prod-exp_binary64`
12×	`add-sqr-sqrt_binary64`
11×	`associate-r_binary64`
10×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
6×	`associate-l_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow-prod-up_binary64` `frac-add_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `flip-+_binary64` `*-commutative_binary64`
3×	`flip3--_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip--_binary64`
2×	`sub-neg_binary64` `pow-sqr_binary64` `pow2_binary64`
1×	`distribute-lft-out_binary64`

Counts

4 → 102

Calls

4 calls:

14.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
8.0ms	(.f64 (.f64 a a) (+.f64 1 a))
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
12.0ms	(.f64 (.f64 b b) (*.f64 a a))

series244.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(.f64 4 (+.f64 (.f64 (.f64 a a) (+.f64 1 a)) (.f64 (.f64 b b) (-.f64 1 (.f64 3 a)))))
69.0ms	(.f64 (.f64 a a) (+.f64 1 a))
61.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
43.0ms	(.f64 (.f64 b b) (*.f64 a a))

simplify63.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5063	1921

prune150.0ms

Filtered

73 candidates to 114 candidates (-56.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	114	3	117

Merged error: 0.0b

Counts

117 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 a a) (+.f64 1 a))
0.2b	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
0.7b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
24.8b	(cbrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1_binary64` `add-exp-log_binary64`
14×	`add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
7×	`associate-r_binary64` `cbrt-prod_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unpow-prod-down_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `associate-*r/_binary64`
3×	`pow-unpow_binary64`
2×	`sub-neg_binary64` `sqr-pow_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
1×	`pow-to-exp_binary64` `flip3-+_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `pow-pow_binary64` `flip--_binary64` `flip-+_binary64` `pow-exp_binary64`

Counts

4 → 79

Calls

4 calls:

9.0ms	(.f64 (.f64 a a) (+.f64 1 a))
5.0ms	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
8.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
5.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))

series550.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(.f64 (.f64 a a) (+.f64 1 a))
358.0ms	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
68.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
51.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6))

simplify70.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4958	1389
1	4958	1389

prune90.0ms

Filtered

57 candidates to 91 candidates (-59.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	90	4	94

Merged error: 0b

Counts

94 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
0.7b	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
7.4b	(cbrt.f64 (pow.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) 3))
24.8b	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) 3)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

63×	`cbrt-prod_binary64`
29×	`unpow-prod-down_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
14×	`cube-prod_binary64`
10×	`pow1_binary64` `add-exp-log_binary64`
9×	`add-cbrt-cube_binary64`
7×	`sqr-pow_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `pow-unpow_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64`
2×	`sub-neg_binary64` `associate-*r/_binary64` `pow1/3_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`pow-to-exp_binary64` `rem-cbrt-cube_binary64` `flip3--_binary64` `pow-pow_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `flip--_binary64` `pow-exp_binary64` `*-commutative_binary64`

Counts

4 → 100

Calls

4 calls:

6.0ms	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
9.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
7.0ms	(cbrt.f64 (pow.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) 3))
8.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) 3)))

series863.0ms

Counts

4 → 12

Calls

4 calls:

368.0ms	(pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6)
74.0ms	(.f64 (.f64 b b) (-.f64 1 (*.f64 3 a)))
365.0ms	(cbrt.f64 (pow.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) 3))
56.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) 6) 3)))

simplify76.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4937	2202
1	4937	2202

prune98.0ms

Filtered

59 candidates to 112 candidates (-89.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	112	4	116

Merged error: 0b

Counts

116 → 4

regimes90.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	79	58
1	79	58

end0.0ms

sample675.0ms

Algorithm

intervals

Results

528.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Details

analyze139.0ms

sample24.0ms

simplify43.0ms

prune3.0ms

localize17.0ms

rewrite49.0ms

series250.0ms

simplify95.0ms

prune116.0ms

localize20.0ms

rewrite57.0ms

series244.0ms

simplify63.0ms

prune150.0ms

localize18.0ms

rewrite36.0ms

series550.0ms

simplify70.0ms

prune90.0ms

localize24.0ms

rewrite43.0ms

series863.0ms

simplify76.0ms

prune98.0ms

regimes90.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample675.0ms

Profiling