Details

sample105.0ms

Algorithm

intervals

Results

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

simplify2.5s

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	212	11
5	324	11
6	511	11
7	842	11
8	1187	11
9	1511	11
10	1812	11
11	2187	11
12	2598	11
13	3062	11
14	3518	11
15	4047	11
16	4542	11
done	5001	11

prune4.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

localize10.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))

rewrite31.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))
10.0ms	(* x (log y))

series33.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify772.0ms

Counts

83 → 83

Iterations

Useful iterations: done (770.0ms)

Iter	Nodes	Cost
0	155	882
1	354	845
2	899	763
3	3240	737
done	5000	731

prune117.0ms

Filtered

58 candidates to 83 candidates (-43.1%)

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)

rewrite16.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:

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

series102.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (cbrt y) (cbrt y))
23.0ms	(cbrt y)
25.0ms	(cbrt y)
24.0ms	(cbrt y)

simplify728.0ms

Counts

85 → 85

Iterations

Useful iterations: 4 (311.0ms)

Iter	Nodes	Cost
0	76	590
1	151	526
2	449	466
3	1166	417
4	2502	378
done	5000	378

prune118.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:

7.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))
24.0ms	(cbrt y)
24.0ms	(cbrt y)
26.0ms	(pow y 1/3)

simplify636.0ms

Counts

92 → 92

Iterations

Useful iterations: done (633.0ms)

Iter	Nodes	Cost
0	102	638
1	209	549
2	580	465
3	2118	382
done	5000	379

prune156.0ms

Filtered

59 candidates to 92 candidates (-55.9%)

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))

series127.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify642.0ms

Counts

80 → 80

Iterations

Useful iterations: 3 (174.0ms)

Iter	Nodes	Cost
0	103	672
1	232	612
2	671	545
3	1815	494
done	5000	494

prune158.0ms

Filtered

51 candidates to 80 candidates (-56.9%)

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

regimes623.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
437.0ms	8041×	body	80	valid

Details

sample105.0ms

simplify2.5s

prune4.0ms

localize10.0ms

rewrite31.0ms

series33.0ms

simplify772.0ms

prune117.0ms

localize18.0ms

rewrite16.0ms

series102.0ms

simplify728.0ms

prune118.0ms

localize21.0ms

rewrite14.0ms

series100.0ms

simplify636.0ms

prune156.0ms

localize25.0ms

rewrite12.0ms

series127.0ms

simplify642.0ms

prune158.0ms

regimes623.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.2s

Profiling