Details

sample244.0ms

Algorithm

intervals

Results

177.0ms	108×	body	2560	valid
45.0ms	78×	body	1280	valid
6.0ms	37×	body	640	valid
4.0ms	256×	pre	80	true
2.0ms	18×	body	320	valid
1.0ms	12×	body	160	valid
0.0ms	3×	body	80	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	4
1	11	4
2	11	4

prune2.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1.0 (tan x))
3.5b	(- (/ 1.0 x) (/ 1.0 (tan x)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
19×	`times-frac`
12×	`add-cube-cbrt`
5×	`distribute-lft-out--`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
3×	`associate-/r` `div-inv` `associate-/l`
2×	`pow1`
1×	`tan-quot` `cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `associate-/r/` `frac-sub` `flip--`

Counts

2 → 50

Calls

2 calls:

4.0ms	(/ 1.0 (tan x))
13.0ms	(- (/ 1.0 x) (/ 1.0 (tan x)))

series33.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(/ 1.0 (tan x))
23.0ms	(- (/ 1.0 x) (/ 1.0 (tan x)))

simplify50.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 3 (45.0ms)

Iter	Nodes	Cost
0	232	342
1	610	327
2	1880	327
3	5002	326

prune80.0ms

Filtered

56 candidates to 46 candidates (17.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	1	57

Merged error: 0.3b

Counts

57 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
0.1b	(* 0.022222222222222223 (pow x 3))
0.1b	(* 0.0021164021164021165 (pow x 5))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-log-exp`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1` `sum-log`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `cube-mult` `associate-+r+` `flip3-+` `unpow3` `flip-+`

Counts

3 → 69

Calls

3 calls:

7.0ms	(+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
6.0ms	(* 0.022222222222222223 (pow x 3))
5.0ms	(* 0.0021164021164021165 (pow x 5))

series14.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
4.0ms	(* 0.022222222222222223 (pow x 3))
4.0ms	(* 0.0021164021164021165 (pow x 5))

simplify43.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	301	381
1	1298	348
2	5001	348

prune122.0ms

Filtered

78 candidates to 49 candidates (37.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	74	4	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	4	79

Merged error: 0.3b

Counts

79 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
0.1b	(* 0.022222222222222223 (pow x 3))
0.1b	(* 0.0021164021164021165 (pow x 5))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
5×	`add-log-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `cube-mult` `flip3-+` `unpow3` `sum-log` `flip-+`

Counts

3 → 67

Calls

3 calls:

4.0ms	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
6.0ms	(* 0.022222222222222223 (pow x 3))
5.0ms	(* 0.0021164021164021165 (pow x 5))

series19.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
4.0ms	(* 0.022222222222222223 (pow x 3))
4.0ms	(* 0.0021164021164021165 (pow x 5))

simplify40.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	268	323
1	1124	296
2	5001	296

prune118.0ms

Filtered

76 candidates to 48 candidates (36.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Merged error: 0.3b

Counts

80 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
0.1b	(* 0.022222222222222223 (pow x 3))
0.1b	(* 0.0021164021164021165 (pow x 5))
2.5b	(log (exp (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
19×	`associate-r`
14×	`add-exp-log`
13×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-cbrt-cube`
7×	`unswap-sqr`
6×	`associate-l` `prod-exp` `add-log-exp`
5×	`pow1`
4×	`log-prod` `cube-prod` `log-pow` `sqr-pow`
3×	`exp-prod`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `cube-mult` `flip3-+` `unpow3` `rem-log-exp` `exp-sum` `sum-log` `flip-+`

Counts

4 → 83

Calls

4 calls:

4.0ms	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
6.0ms	(* 0.022222222222222223 (pow x 3))
5.0ms	(* 0.0021164021164021165 (pow x 5))
5.0ms	(log (exp (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

series32.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
4.0ms	(* 0.022222222222222223 (pow x 3))
4.0ms	(* 0.0021164021164021165 (pow x 5))
13.0ms	(log (exp (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

simplify43.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	296	472
1	1241	426
2	5001	426

prune153.0ms

Filtered

95 candidates to 60 candidates (36.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	95	5	100

Merged error: 0.3b

Counts

100 → 5

regimes39.0ms

Accuracy

0% (0.1b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	7
1	18	7

end0.0ms

sample7.1s

Algorithm

intervals

Results

5.1s	3253×	body	2560	valid
1.3s	2471×	body	1280	valid
239.0ms	1248×	body	640	valid
129.0ms	8000×	pre	80	true
76.0ms	662×	body	320	valid
25.0ms	319×	body	160	valid
2.0ms	47×	body	80	valid

Details

sample244.0ms

simplify4.0ms

prune2.0ms

localize5.0ms

rewrite18.0ms

series33.0ms

simplify50.0ms

prune80.0ms

localize11.0ms

rewrite20.0ms

series14.0ms

simplify43.0ms

prune122.0ms

localize9.0ms

rewrite18.0ms

series19.0ms

simplify40.0ms

prune118.0ms

localize12.0ms

rewrite22.0ms

series32.0ms

simplify43.0ms

prune153.0ms

regimes39.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample7.1s

Profiling