Details

analyze426.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
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
31.2%	68.6%	0.1%	9
35.9%	55.4%	8.7%	10
42.9%	47.6%	9.5%	11
51.5%	38.2%	10.3%	12
55%	30%	15%	13
59.5%	25.3%	15.3%	14

sample32.0ms

Algorithm

intervals

Results

9.0ms	237×	body	80	valid
1.0ms	5×	body	1280	valid
1.0ms	5×	body	640	valid
1.0ms	5×	body	320	valid
1.0ms	13×	body	80	invalid
0.0ms	4×	body	160	valid

simplify221.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (213.0ms)

Iter	Nodes	Cost
0	2426	16
1	2426	16

prune17.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.4b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 y x) 6)
0.0b	(-.f64 2/3 z)
0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
0.3b	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_3769`
13×	`*-un-lft-identity_binary64_3784`
11×	`add-exp-log_binary64_3748` `pow1_binary64_3730` `add-cbrt-cube_binary64_3756`
10×	`associate-*l/_binary64_3846`
8×	`add-log-exp_binary64_3749` `flip3--_binary64_3783` `flip--_binary64_3810` `associate-r_binary64_3843`
7×	`add-cube-cbrt_binary64_3755`
6×	`associate-l_binary64_3844`
5×	`sub-neg_binary64_3788`
4×	`cbrt-unprod_binary64_3753` `prod-exp_binary64_3735` `pow-prod-down_binary64_3711` `frac-times_binary64_3776`
3×	`difference-of-squares_binary64_3813` `distribute-lft-out--_binary64_3829`
2×	`-commutative_binary64_3852` `distribute-lft-in_binary64_3826` `associate-+r+_binary64_3835` `associate-r/_binary64_3845` `distribute-rgt-in_binary64_3827`
1×	`+-commutative_binary64_3851` `unswap-sqr_binary64_3812` `flip-+_binary64_3809` `flip3-+_binary64_3782` `diff-log_binary64_3700` `sum-log_binary64_3699`

Counts

4 → 78

Calls

4 calls:

11.0ms	(*.f64 (-.f64 y x) 6)
4.0ms	(-.f64 2/3 z)
4.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
12.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

series125.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(*.f64 (-.f64 y x) 6)
14.0ms	(-.f64 2/3 z)
50.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
39.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

simplify80.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4962	1296
1	4962	1296

prune369.0ms

Filtered

67 candidates to 90 candidates (-34.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	83	7	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	7	91

Merged error: 0.0b

Counts

91 → 7

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
0.0b	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
0.2b	(.f64 (.f64 6 z) (-.f64 x y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp_binary64_3749`
8×	`add-exp-log_binary64_3748` `pow1_binary64_3730` `add-cbrt-cube_binary64_3756` `*-un-lft-identity_binary64_3784`
6×	`associate-*r/_binary64_3845` `add-sqr-sqrt_binary64_3769`
5×	`flip3--_binary64_3783` `flip--_binary64_3810` `associate-r_binary64_3843`
4×	`associate-*l/_binary64_3846` `frac-add_binary64_3774` `sub-neg_binary64_3788` `add-cube-cbrt_binary64_3755` `sum-log_binary64_3699`
3×	`cbrt-unprod_binary64_3753` `prod-exp_binary64_3735` `pow-prod-down_binary64_3711` `associate-+r+_binary64_3835`
2×	`+-commutative_binary64_3851` `distribute-lft-in_binary64_3826` `flip-+_binary64_3809` `flip3-+_binary64_3782` `distribute-rgt-in_binary64_3827`
1×	`-commutative_binary64_3852` `associate-l*_binary64_3844` `difference-of-squares_binary64_3813` `distribute-lft-out--_binary64_3829` `distribute-lft-out_binary64_3828`

Counts

3 → 55

Calls

3 calls:

9.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
9.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
8.0ms	(.f64 (.f64 6 z) (-.f64 x y))

series136.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
44.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
48.0ms	(.f64 (.f64 6 z) (-.f64 x y))

simplify66.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5156	1435

prune399.0ms

Filtered

47 candidates to 64 candidates (-36.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	64	7	71

Merged error: 0.0b

Counts

71 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y))))
0.0b	(*.f64 z (-.f64 x y))
0.0b	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y)))))
0.3b	(.f64 6 (.f64 z (-.f64 x y)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-*r/_binary64_3845`
11×	`add-exp-log_binary64_3748` `add-log-exp_binary64_3749` `pow1_binary64_3730` `add-cbrt-cube_binary64_3756` `*-un-lft-identity_binary64_3784` `add-sqr-sqrt_binary64_3769`
10×	`sub-neg_binary64_3788`
9×	`distribute-lft-in_binary64_3826` `distribute-rgt-in_binary64_3827`
7×	`add-cube-cbrt_binary64_3755`
6×	`associate-l_binary64_3844` `flip3--_binary64_3783` `flip--_binary64_3810` `associate-r_binary64_3843`
5×	`associate-+r+_binary64_3835`
4×	`cbrt-unprod_binary64_3753` `prod-exp_binary64_3735` `associate-*l/_binary64_3846` `pow-prod-down_binary64_3711` `frac-add_binary64_3774` `sum-log_binary64_3699`
2×	`+-commutative_binary64_3851` `*-commutative_binary64_3852` `flip-+_binary64_3809` `flip3-+_binary64_3782`
1×	`difference-of-squares_binary64_3813` `distribute-lft-out--_binary64_3829` `distribute-lft-out_binary64_3828` `unswap-sqr_binary64_3812`

Counts

4 → 81

Calls

4 calls:

15.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y))))
7.0ms	(*.f64 z (-.f64 x y))
9.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y)))))
8.0ms	(.f64 6 (.f64 z (-.f64 x y)))

series165.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y))))
30.0ms	(*.f64 z (-.f64 x y))
47.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y)))))
43.0ms	(.f64 6 (.f64 z (-.f64 x y)))

simplify94.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4965	1558
1	4965	1558

prune332.0ms

Filtered

63 candidates to 93 candidates (-47.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	93	7	100

Merged error: 0.0b

Counts

100 → 7

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (.f64 (-.f64 y x) 4)))) (cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4)))))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))
0.5b	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_3751`
35×	`*-un-lft-identity_binary64_3784`
23×	`add-sqr-sqrt_binary64_3769`
18×	`cbrt-div_binary64_3752`
15×	`add-cube-cbrt_binary64_3755`
11×	`pow1_binary64_3730`
9×	`pow1/3_binary64_3722` `distribute-lft-out_binary64_3828` `flip-+_binary64_3809` `flip3-+_binary64_3782` `swap-sqr_binary64_3811`
7×	`associate-l_binary64_3844` `associate-r_binary64_3843`
6×	`add-exp-log_binary64_3748`
4×	`add-log-exp_binary64_3749` `frac-times_binary64_3776` `unswap-sqr_binary64_3812` `add-cbrt-cube_binary64_3756`
2×	`associate-l/_binary64_3846` `pow-prod-down_binary64_3711` `pow-sqr_binary64_3817` `associate-r/_binary64_3845` `pow-prod-up_binary64_3710`
1×	`*-commutative_binary64_3852` `cbrt-unprod_binary64_3753` `pow-plus_binary64_3725` `prod-exp_binary64_3735` `pow2_binary64_3721`

Counts

4 → 95

Calls

4 calls:

20.0ms	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (.f64 (-.f64 y x) 4)))) (cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4)))))
8.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))
8.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))
8.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))

series1.3s

Counts

4 → 12

Calls

4 calls:

506.0ms	(.f64 (cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (.f64 (-.f64 y x) 4)))) (cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4)))))
264.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))
253.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))
259.0ms	(cbrt.f64 (+.f64 x (+.f64 (.f64 6 (.f64 z (-.f64 x y))) (*.f64 (-.f64 y x) 4))))

simplify89.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5093	4854

prune421.0ms

Filtered

80 candidates to 107 candidates (-33.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	106	8	114

Merged error: 0.0b

Counts

114 → 8

regimes349.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	22
1	36	22

end0.0ms

sample650.0ms

Algorithm

intervals

Results

282.0ms	7270×	body	80	valid
36.0ms	264×	body	640	valid
33.0ms	160×	body	1280	valid
22.0ms	584×	body	80	invalid
20.0ms	199×	body	320	valid
8.0ms	107×	body	160	valid

Details

analyze426.0ms

sample32.0ms

simplify221.0ms

prune17.0ms

localize12.0ms

rewrite33.0ms

series125.0ms

simplify80.0ms

prune369.0ms

localize15.0ms

rewrite28.0ms

series136.0ms

simplify66.0ms

prune399.0ms

localize16.0ms

rewrite41.0ms

series165.0ms

simplify94.0ms

prune332.0ms

localize30.0ms

rewrite47.0ms

series1.3s

simplify89.0ms

prune421.0ms

regimes349.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample650.0ms

Profiling