Details

analyze2.4s

Algorithm: search

sample85.0ms

Algorithm

intervals

Results

27.0ms	256×	body	80	valid
21.0ms	243×	body	80	invalid

simplify147.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	66	15
1	204	14
2	631	14
3	1468	14
4	2464	14
5	3909	14
6	5001	14

prune16.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: 5.9b

Counts

2 → 1

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.3b	(* (* j 27.0) k)
2.6b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.1b	(* (* (* x 18.0) y) z)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

5.0ms	(* (* x 18.0) y)
4.0ms	(* (* j 27.0) k)
9.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
7.0ms	(* (* (* x 18.0) y) z)

series40.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x 18.0) y)
3.0ms	(* (* j 27.0) k)
26.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.0ms	(* (* (* x 18.0) y) z)

simplify67.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	406	472
1	2141	393
2	5001	393

prune207.0ms

Filtered

53 candidates to 93 candidates (-75.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	81	12	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	12	94

Merged error: 1.4b

Counts

94 → 12

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 18.0 (* x (* z y)))
0.3b	(* (* j 27.0) k)
2.6b	(* t (- (* 18.0 (* x (* z y))) (* a 4.0)))
4.0b	(* x (* z y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-l`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* 18.0 (* x (* z y)))
5.0ms	(* (* j 27.0) k)
9.0ms	(* t (- (* 18.0 (* x (* z y))) (* a 4.0)))
5.0ms	(* x (* z y))

series42.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* 18.0 (* x (* z y)))
3.0ms	(* (* j 27.0) k)
26.0ms	(* t (- (* 18.0 (* x (* z y))) (* a 4.0)))
6.0ms	(* x (* z y))

simplify53.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	380	468
1	1668	389
2	5001	389

prune204.0ms

Filtered

51 candidates to 93 candidates (-82.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	91	14	105

Merged error: 1.3b

Counts

105 → 14

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 18.0 (* (* x z) y))
0.3b	(* (* j 27.0) k)
2.6b	(* t (- (* 18.0 (* (* x z) y)) (* a 4.0)))
2.9b	(* (* x z) y)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* 18.0 (* (* x z) y))
4.0ms	(* (* j 27.0) k)
8.0ms	(* t (- (* 18.0 (* (* x z) y)) (* a 4.0)))
5.0ms	(* (* x z) y)

series44.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* 18.0 (* (* x z) y))
3.0ms	(* (* j 27.0) k)
26.0ms	(* t (- (* 18.0 (* (* x z) y)) (* a 4.0)))
8.0ms	(* (* x z) y)

simplify61.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	397	470
1	1949	391
2	5001	391

prune185.0ms

Filtered

54 candidates to 93 candidates (-72.2%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	93	14	107

Merged error: 1.3b

Counts

107 → 14

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
2.0b	(* (cbrt x) (* z y))
2.4b	(* (* (cbrt x) (cbrt x)) (* (cbrt x) (* z y)))
2.6b	(* t (- (* 18.0 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* z y)))) (* a 4.0)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1` `add-exp-log`
20×	`add-cbrt-cube`
19×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-l`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod`
5×	`associate-r`
4×	`add-log-exp`
3×	`*-commutative`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow1/3` `flip--` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

1.0ms	(cbrt x)
5.0ms	(* (cbrt x) (* z y))
11.0ms	(* (* (cbrt x) (cbrt x)) (* (cbrt x) (* z y)))
16.0ms	(* t (- (* 18.0 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* z y)))) (* a 4.0)))

series88.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt x)
23.0ms	(* (cbrt x) (* z y))
9.0ms	(* (* (cbrt x) (cbrt x)) (* (cbrt x) (* z y)))
35.0ms	(* t (- (* 18.0 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* z y)))) (* a 4.0)))

simplify55.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	394	803
1	1594	628
2	5001	562

prune113.0ms

Filtered

59 candidates to 96 candidates (-62.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	98	12	110

Merged error: 1.3b

Counts

110 → 12

regimes2.5s

Accuracy

23.4% (3.4b remaining)

Error of 4.4b against oracle of 0.9b and baseline of 5.4b

bsearch7.7s

Steps

Iters	Range		Point
4	2.6359673972959284e-51	4.330702902722581e-51	3.951930098736317e-51
8	-3.409989748327041e+62	-3.6279124537182426e+58	-1.698356449065724e+62

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	84	44
1	90	44
2	91	44
3	91	44

end0.0ms

analyze2.2s

Algorithm: search

sample2.3s

Algorithm

intervals

Results

746.0ms	8135×	body	80	invalid
728.0ms	8000×	body	80	valid

Details

analyze2.4s

sample85.0ms

simplify147.0ms

prune16.0ms

localize29.0ms

rewrite27.0ms

series40.0ms

simplify67.0ms

prune207.0ms

localize27.0ms

rewrite26.0ms

series42.0ms

simplify53.0ms

prune204.0ms

localize22.0ms

rewrite26.0ms

series44.0ms

simplify61.0ms

prune185.0ms

localize29.0ms

rewrite36.0ms

series88.0ms

simplify55.0ms

prune113.0ms

regimes2.5s

bsearch7.7s

simplify3.0ms

end0.0ms

analyze2.2s

sample2.3s

Profiling