Details

sample16.0ms

Algorithm

intervals

Results

8.0ms

347×

body

valid

simplify9.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	16	7
3	20	7
4	21	7
done	21	7

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

localize4.0ms

Local error

Found 1 expressions with local error:

0.1b	(/ (- (* x x) 3.0) 6.0)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`times-frac`
10×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-/l*` `difference-of-squares`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 34

Calls

1 calls:

7.0ms

(/ (- (* x x) 3.0) 6.0)

series14.0ms

Counts

1 → 3

Calls

1 calls:

14.0ms

(/ (- (* x x) 3.0) 6.0)

simplify1.1s

Counts

37 → 37

Iterations

Useful iterations: 4 (484.0ms)

Iter	Nodes	Cost
0	78	451
1	174	438
2	459	408
3	1268	406
4	4019	405
done	5001	405

prune73.0ms

Filtered

31 candidates to 37 candidates (-19.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	32	5	37
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	5	38

Merged error: 0.0b

Counts

38 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (/ (* x x) 6.0) (/ 3.0 6.0))
0.2b	(/ (* x x) 6.0)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
7×	`add-exp-log` `times-frac` `add-cbrt-cube`
6×	`*-un-lft-identity`
4×	`add-cube-cbrt` `add-log-exp` `difference-of-squares`
3×	`associate-/r*` `div-inv`
2×	`pow1` `cbrt-undiv` `div-exp`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `frac-2neg` `diff-log` `prod-exp` `clear-num` `frac-sub` `flip--` `cbrt-unprod` `associate-/l*` `distribute-lft-out--` `sub-div`

Counts

2 → 41

Calls

2 calls:

11.0ms	(- (/ (* x x) 6.0) (/ 3.0 6.0))
5.0ms	(/ (* x x) 6.0)

series9.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (/ (* x x) 6.0) (/ 3.0 6.0))
3.0ms	(/ (* x x) 6.0)

simplify644.0ms

Counts

47 → 47

Iterations

Useful iterations: 3 (210.0ms)

Iter	Nodes	Cost
0	86	511
1	205	491
2	567	451
3	1912	442
done	5000	442

prune63.0ms

Filtered

35 candidates to 47 candidates (-34.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	4	0	4
Picked	0	1	1
Done	0	0	0
Total	48	4	52

Merged error: 0.0b

Counts

52 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* x (/ x 6.0)) (/ 3.0 6.0))
0.2b	(* x (/ x 6.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-r`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`associate-r/` `associate-l*`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `flip3--` `diff-log` `div-exp` `pow-prod-down` `*-commutative` `frac-sub` `flip--` `div-inv` `sub-div`

Counts

2 → 46

Calls

2 calls:

7.0ms	(- (* x (/ x 6.0)) (/ 3.0 6.0))
7.0ms	(* x (/ x 6.0))

series9.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (* x (/ x 6.0)) (/ 3.0 6.0))
3.0ms	(* x (/ x 6.0))

simplify692.0ms

Counts

52 → 52

Iterations

Useful iterations: 3 (313.0ms)

Iter	Nodes	Cost
0	94	504
1	241	477
2	757	432
3	2393	418
done	5000	418

prune74.0ms

Filtered

39 candidates to 52 candidates (-33.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	51	5	56

Merged error: 0b

Counts

56 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (/ x (/ 6.0 x)) (/ 3.0 6.0))
0.2b	(/ x (/ 6.0 x))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac`
65×	`add-sqr-sqrt`
50×	`*-un-lft-identity`
44×	`add-cube-cbrt`
13×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube`
6×	`difference-of-squares`
5×	`div-inv`
4×	`add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-/l*`
2×	`pow1` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `frac-2neg` `diff-log` `clear-num` `associate-/r/` `frac-sub` `flip--`

Counts

2 → 91

Calls

2 calls:

37.0ms	(- (/ x (/ 6.0 x)) (/ 3.0 6.0))
7.0ms	(/ x (/ 6.0 x))

series9.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(- (/ x (/ 6.0 x)) (/ 3.0 6.0))
3.0ms	(/ x (/ 6.0 x))

simplify465.0ms

Counts

97 → 97

Iterations

Useful iterations: done (462.0ms)

Iter	Nodes	Cost
0	189	1272
1	427	1199
2	1452	1103
done	5000	1099

prune113.0ms

Filtered

70 candidates to 97 candidates (-38.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Merged error: 0b

Counts

102 → 5

regimes90.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
done	7	9

end0.0ms

sample440.0ms

Algorithm

intervals

Results

245.0ms

10699×

body

valid

Details

sample16.0ms

simplify9.0ms

prune2.0ms

localize4.0ms

rewrite8.0ms

series14.0ms

simplify1.1s

prune73.0ms

localize5.0ms

rewrite17.0ms

series9.0ms

simplify644.0ms

prune63.0ms

localize6.0ms

rewrite15.0ms

series9.0ms

simplify692.0ms

prune74.0ms

localize5.0ms

rewrite48.0ms

series9.0ms

simplify465.0ms

prune113.0ms

regimes90.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample440.0ms

Profiling