Details

analyze1.5s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample48.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
8.0ms	181×	body	80	invalid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	66	15
1	66	15

prune5.0ms

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: 0.0b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp_binary64`
10×	`sum-log_binary64`
3×	`flip3-+_binary64` `*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64` `+-commutative_binary64` `flip-+_binary64`
2×	`associate-+l+_binary64`

Counts

3 → 38

Calls

3 calls:

13.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
7.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

series150.0ms

Counts

3 → 9

Calls

3 calls:

116.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
11.0ms	(+.f64 (.f64 x y) (.f64 z t))
22.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

simplify45.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4895	677
1	4895	677

prune55.0ms

Filtered

36 candidates to 47 candidates (-30.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Merged error: 0.0b

Counts

48 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
18×	`cbrt-div_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`flip3-+_binary64` `pow1/3_binary64` `flip-+_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 87

Calls

4 calls:

16.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
6.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
6.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
6.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

series286.0ms

Counts

4 → 12

Calls

4 calls:

122.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
53.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
55.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
56.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

simplify37.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5075	2111

prune105.0ms

Filtered

80 candidates to 99 candidates (-23.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	97	5	102

Merged error: 0.0b

Counts

102 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
1.2b	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))) 6)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`unpow-prod-down_binary64`
6×	`cbrt-div_binary64`
5×	`pow1_binary64` `add-exp-log_binary64`
4×	`add-log-exp_binary64` `pow1/3_binary64` `add-cbrt-cube_binary64`
3×	`flip3-+_binary64` `pow-unpow_binary64` `flip-+_binary64`
2×	`pow-pow_binary64`
1×	`pow-to-exp_binary64` `sqr-pow_binary64` `pow-exp_binary64`

Counts

4 → 63

Calls

4 calls:

6.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
6.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
6.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
9.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))) 6)

series318.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
55.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
56.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
150.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))) 6)

simplify70.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4931	1229
1	4931	1229

prune85.0ms

Filtered

58 candidates to 75 candidates (-29.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	75	5	80

Merged error: 0.0b

Counts

80 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
0.3b	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.6b	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
8×	`cbrt-div_binary64`
6×	`sqrt-prod_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64` `sqrt-div_binary64`

Counts

4 → 58

Calls

4 calls:

7.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
7.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
6.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
7.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

series229.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
58.0ms	(cbrt.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
55.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
60.0ms	(cbrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

simplify45.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4985	1300
1	4985	1300

prune68.0ms

Filtered

62 candidates to 70 candidates (-12.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	70	5	75

Merged error: 0.0b

Counts

75 → 5

regimes1.4s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	15
1	22	15

end0.0ms

sample1.3s

Algorithm

intervals

Results

387.0ms	8000×	body	80	valid
299.0ms	5503×	body	80	invalid

Details

analyze1.5s

sample48.0ms

simplify5.0ms

prune5.0ms

localize11.0ms

rewrite25.0ms

series150.0ms

simplify45.0ms

prune55.0ms

localize16.0ms

rewrite36.0ms

series286.0ms

simplify37.0ms

prune105.0ms

localize23.0ms

rewrite28.0ms

series318.0ms

simplify70.0ms

prune85.0ms

localize22.0ms

rewrite27.0ms

series229.0ms

simplify45.0ms

prune68.0ms

regimes1.4s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling