Details

sample14.0ms

Algorithm

intervals

Results

6.0ms

347×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
2	9	5
done	9	5

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.2b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* x 3.0) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-l` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (* x 3.0) x)

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(* (* x 3.0) x)

simplify1.0s

Counts

21 → 21

Iterations

Useful iterations: 4 (309.0ms)

Iter	Nodes	Cost
0	37	157
1	92	152
2	378	122
3	1251	122
4	2064	121
5	3468	121
done	5000	121

prune36.0ms

Filtered

12 candidates to 21 candidates (-75.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	16	5	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	6	22

Merged error: 0.1b

Counts

22 → 6

localize6.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 3.0) x)
0.4b	(* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))
17.2b	(sqrt (* (* x 3.0) x))
17.2b	(sqrt (* (* x 3.0) x))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

148×	`pow1`
80×	`pow-prod-down`
66×	`sqrt-pow1`
17×	`pow-prod-up`
14×	`pow1/2`
11×	`add-exp-log` `add-sqr-sqrt` `pow-sqr` `add-cbrt-cube`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-r`
6×	`sqrt-prod`
5×	`associate-l`
4×	`swap-sqr` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`*-commutative`
1×	`pow2` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

5.0ms	(* (* x 3.0) x)
13.0ms	(* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))
4.0ms	(sqrt (* (* x 3.0) x))
4.0ms	(sqrt (* (* x 3.0) x))

series19.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (* x 3.0) x)
7.0ms	(* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))
4.0ms	(sqrt (* (* x 3.0) x))
4.0ms	(sqrt (* (* x 3.0) x))

simplify863.0ms

Counts

120 → 120

Iterations

Useful iterations: 3 (304.0ms)

Iter	Nodes	Cost
0	82	1103
1	177	769
2	732	644
3	3355	569
done	5001	569

prune130.0ms

Filtered

56 candidates to 120 candidates (-114.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	119	7	126

Merged error: 0b

Counts

126 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 3.0 (* x x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-cube-cbrt` `*-un-lft-identity`
1×	`associate-r` `*-commutative` `add-log-exp` `unswap-sqr`

Counts

1 → 19

Calls

1 calls:

6.0ms

(* 3.0 (* x x))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(* 3.0 (* x x))

simplify756.0ms

Counts

22 → 22

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	34	162
1	84	159
2	245	129
3	569	129
4	975	129
5	2174	129
done	5000	129

prune39.0ms

Filtered

15 candidates to 22 candidates (-46.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	22	0	22
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	22	7	29

Merged error: 0b

Counts

29 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sqrt 3.0) x)
0.4b	(* (sqrt (* (* x 3.0) x)) (* (sqrt (fabs (* (sqrt 3.0) x))) (sqrt (fabs (* (sqrt 3.0) x)))))
0.5b	(* (sqrt (fabs (* (sqrt 3.0) x))) (sqrt (fabs (* (sqrt 3.0) x))))
17.2b	(sqrt (* (* x 3.0) x))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

44×	`pow1`
33×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow-prod-down`
20×	`sqrt-pow1`
16×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
13×	`add-exp-log` `add-cbrt-cube`
12×	`pow1/2`
10×	`associate-r`
8×	`swap-sqr`
7×	`unswap-sqr`
5×	`prod-exp` `pow-prod-up` `cbrt-unprod`
4×	`add-log-exp`
3×	`sqrt-unprod` `pow-sqr` `*-commutative`
1×	`pow2` `pow-plus` `rem-square-sqrt`

Counts

4 → 108

Calls

4 calls:

6.0ms	(* (sqrt 3.0) x)
15.0ms	(* (sqrt (* (* x 3.0) x)) (* (sqrt (fabs (* (sqrt 3.0) x))) (sqrt (fabs (* (sqrt 3.0) x)))))
7.0ms	(* (sqrt (fabs (* (sqrt 3.0) x))) (sqrt (fabs (* (sqrt 3.0) x))))
4.0ms	(sqrt (* (* x 3.0) x))

series18.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (sqrt 3.0) x)
8.0ms	(* (sqrt (* (* x 3.0) x)) (* (sqrt (fabs (* (sqrt 3.0) x))) (sqrt (fabs (* (sqrt 3.0) x)))))
1.0ms	(* (sqrt (fabs (* (sqrt 3.0) x))) (sqrt (fabs (* (sqrt 3.0) x))))
4.0ms	(sqrt (* (* x 3.0) x))

simplify790.0ms

Counts

120 → 120

Iterations

Useful iterations: 3 (319.0ms)

Iter	Nodes	Cost
0	115	1737
1	231	1129
2	699	1009
3	3152	789
done	5000	789

prune181.0ms

Filtered

65 candidates to 120 candidates (-84.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	120	7	127

Merged error: 0b

Counts

127 → 7

regimes79.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
done	6	5

end0.0ms

sample380.0ms

Algorithm

intervals

Results

193.0ms

10706×

body

valid

Details

sample14.0ms

simplify3.0ms

prune2.0ms

localize3.0ms

rewrite6.0ms

series3.0ms

simplify1.0s

prune36.0ms

localize6.0ms

rewrite31.0ms

series19.0ms

simplify863.0ms

prune130.0ms

localize6.0ms

rewrite6.0ms

series3.0ms

simplify756.0ms

prune39.0ms

localize12.0ms

rewrite35.0ms

series18.0ms

simplify790.0ms

prune181.0ms

regimes79.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample380.0ms

Profiling