Details

sample104.0ms

Algorithm

intervals

Results

34.0ms	757×	body	80	nan
14.0ms	259×	body	80	valid

simplify699.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	48	11
3	112	11
4	207	11
5	275	11
6	385	11
7	548	11
8	591	11
9	593	11
done	593	11

prune7.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.1b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x (log y)) y)
0.0b	(+ (- (- (* x (log y)) y) z) (log t))
0.3b	(* x (log y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

21×	`log-prod`
20×	`*-un-lft-identity` `associate--l+`
14×	`add-sqr-sqrt`
12×	`add-cube-cbrt`
11×	`add-log-exp`
10×	`associate-+l+`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`pow1`
5×	`add-exp-log` `add-cbrt-cube`
4×	`diff-log` `associate-r` `distribute-lft-out`
3×	`sub-neg` `associate-+r+` `associate-l` `sum-log` `log-pow`
2×	`distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 74

Calls

3 calls:

5.0ms	(- (* x (log y)) y)
13.0ms	(+ (- (- (* x (log y)) y) z) (log t))
5.0ms	(* x (log y))

series33.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(- (* x (log y)) y)
15.0ms	(+ (- (- (* x (log y)) y) z) (log t))
8.0ms	(* x (log y))

simplify1.6s

Counts

83 → 83

Iterations

Useful iterations: 3 (645.0ms)

Iter	Nodes	Cost
0	155	882
1	339	843
2	810	794
3	2825	730
done	5000	730

prune109.0ms

Filtered

56 candidates to 83 candidates (-48.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	77	6	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	77	7	84

Merged error: 0.0b

Counts

84 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.5b	(cbrt y)
0.5b	(cbrt y)
0.5b	(cbrt y)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
2.0ms	(cbrt y)

series101.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt y) (cbrt y))
23.0ms	(cbrt y)
23.0ms	(cbrt y)
27.0ms	(cbrt y)

simplify1.3s

Counts

85 → 85

Iterations

Useful iterations: 4 (627.0ms)

Iter	Nodes	Cost
0	76	590
1	147	521
2	329	462
3	892	382
4	2136	374
done	5001	374

prune114.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	86	6	92

Merged error: 0.0b

Counts

92 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.5b	(cbrt y)
0.5b	(cbrt y)
5.1b	(pow y 1/3)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
22×	`cbrt-prod`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1`
8×	`pow1/3`
7×	`add-exp-log`
6×	`swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`unpow-prod-down` `pow-unpow`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-to-exp` `pow-pow` `pow-plus` `unpow1/3` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `sqr-pow`

Counts

4 → 80

Calls

4 calls:

6.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
3.0ms	(pow y 1/3)

series100.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt y) (cbrt y))
28.0ms	(cbrt y)
23.0ms	(cbrt y)
23.0ms	(pow y 1/3)

simplify1.7s

Counts

92 → 92

Iterations

Useful iterations: 3 (581.0ms)

Iter	Nodes	Cost
0	102	638
1	201	497
2	554	410
3	2171	367
done	5000	367

prune163.0ms

Filtered

63 candidates to 92 candidates (-46.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	91	7	98

Merged error: 0.0b

Counts

98 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.5b	(cbrt y)
5.1b	(pow (pow y (sqrt 1/3)) (sqrt 1/3))
5.9b	(pow y (sqrt 1/3))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt` `add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
12×	`pow-unpow`
7×	`add-exp-log`
6×	`cbrt-prod` `sqrt-prod`
5×	`pow1` `pow-exp`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-to-exp` `sqr-pow`
2×	`pow-pow` `pow1/3`

Counts

4 → 68

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
5.0ms	(pow (pow y (sqrt 1/3)) (sqrt 1/3))
3.0ms	(pow y (sqrt 1/3))

series126.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
24.0ms	(cbrt y)
55.0ms	(pow (pow y (sqrt 1/3)) (sqrt 1/3))
24.0ms	(pow y (sqrt 1/3))

simplify2.9s

Counts

80 → 80

Iterations

Useful iterations: 4 (1.6s)

Iter	Nodes	Cost
0	103	672
1	226	584
2	494	534
3	1211	441
4	4430	419
done	5000	419

prune139.0ms

Filtered

48 candidates to 80 candidates (-66.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	80	7	87

Merged error: 0.0b

Counts

87 → 7

regimes625.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	22
1	21	22
done	21	22

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.2s	24842×	body	80	nan
441.0ms	8041×	body	80	valid

Details

sample104.0ms

simplify699.0ms

prune7.0ms

localize11.0ms

rewrite26.0ms

series33.0ms

simplify1.6s

prune109.0ms

localize18.0ms

rewrite13.0ms

series101.0ms

simplify1.3s

prune114.0ms

localize21.0ms

rewrite14.0ms

series100.0ms

simplify1.7s

prune163.0ms

localize25.0ms

rewrite12.0ms

series126.0ms

simplify2.9s

prune139.0ms

regimes625.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.2s

Profiling