Details

sample20.0ms

Algorithm

intervals

Results

10.0ms

395×

body

valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	13	9
2	34	9
3	71	9
4	94	9
5	99	9
6	118	9
7	173	9
8	352	9
9	898	9
10	2796	9
done	5000	9

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

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* x x) (- 3.0 (* x 2.0)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `add-cube-cbrt` `sub-neg` `-un-lft-identity` `distribute-lft-in` `associate-r/`
1×	`flip3--` `associate-l` `*-commutative` `flip--` `add-log-exp` `unswap-sqr`

Counts

1 → 25

Calls

1 calls:

8.0ms

(* (* x x) (- 3.0 (* x 2.0)))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* (* x x) (- 3.0 (* x 2.0)))

simplify1.1s

Counts

28 → 28

Iterations

Useful iterations: 3 (286.0ms)

Iter	Nodes	Cost
0	57	367
1	171	364
2	741	300
3	3507	294
done	5001	294

prune49.0ms

Filtered

16 candidates to 28 candidates (-75.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	23	5	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	5	29

Merged error: 0.0b

Counts

29 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow x 2)
0.0b	(* 2.0 (pow x 3))
0.0b	(+ (* 3.0 (pow x 2)) (neg (* 2.0 (pow x 3))))
0.2b	(* 3.0 (pow x 2))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
20×	`associate-r`
15×	`add-exp-log`
13×	`add-cube-cbrt` `*-un-lft-identity`
11×	`unpow-prod-down`
8×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
6×	`associate-l` `prod-exp`
5×	`pow1` `sqr-pow`
4×	`cube-prod`
3×	`pow-to-exp` `pow-unpow` `pow-exp` `unpow2`
2×	`sum-log` `*-commutative` `cbrt-unprod`
1×	`+-commutative` `neg-sub0` `cube-mult` `associate-+r-` `pow-pow` `flip3-+` `unpow3` `unsub-neg` `neg-log` `flip-+`

Counts

4 → 91

Calls

4 calls:

2.0ms	(pow x 2)
7.0ms	(* 2.0 (pow x 3))
5.0ms	(+ (* 3.0 (pow x 2)) (neg (* 2.0 (pow x 3))))
6.0ms	(* 3.0 (pow x 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(pow x 2)
4.0ms	(* 2.0 (pow x 3))
12.0ms	(+ (* 3.0 (pow x 2)) (neg (* 2.0 (pow x 3))))
3.0ms	(* 3.0 (pow x 2))

simplify497.0ms

Counts

103 → 103

Iterations

Useful iterations: done (495.0ms)

Iter	Nodes	Cost
0	131	894
1	334	797
2	1248	691
done	5001	689

prune164.0ms

Filtered

70 candidates to 103 candidates (-47.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	102	6	108

Merged error: 0.0b

Counts

108 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- 3.0 (* x 2.0)))
0.2b	(* x (* x (- 3.0 (* x 2.0))))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`distribute-rgt-in` `distribute-lft-in`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt`
6×	`sub-neg` `associate-r/` `associate-l*`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `*-commutative` `flip--` `add-log-exp`
1×	`unswap-sqr`

Counts

2 → 52

Calls

2 calls:

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

series14.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify896.0ms

Counts

58 → 58

Iterations

Useful iterations: 3 (214.0ms)

Iter	Nodes	Cost
0	79	669
1	200	667
2	616	568
3	2459	556
done	5001	556

prune65.0ms

Filtered

33 candidates to 58 candidates (-75.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	58	6	64

Merged error: 0.0b

Counts

64 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3.0 (pow x 2))
0.3b	(* (sqrt (* 3.0 (pow x 2))) (sqrt (* 3.0 (pow x 2))))
20.1b	(sqrt (* 3.0 (pow x 2)))
20.1b	(sqrt (* 3.0 (pow x 2)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

21×	`pow1`
19×	`add-sqr-sqrt`
12×	`associate-r`
11×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
8×	`add-cbrt-cube`
7×	`associate-l`
6×	`sqrt-prod`
5×	`pow-prod-up` `unswap-sqr`
4×	`unpow-prod-down` `swap-sqr` `prod-exp` `add-log-exp`
3×	`pow-prod-down` `pow-sqr`
2×	`*-commutative` `cbrt-unprod` `unpow2` `sqr-pow`
1×	`pow2` `pow-to-exp` `pow-plus` `sqrt-unprod` `pow-exp` `rem-square-sqrt`

Counts

4 → 85

Calls

4 calls:

6.0ms	(* 3.0 (pow x 2))
11.0ms	(* (sqrt (* 3.0 (pow x 2))) (sqrt (* 3.0 (pow x 2))))
4.0ms	(sqrt (* 3.0 (pow x 2)))
4.0ms	(sqrt (* 3.0 (pow x 2)))

series20.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 3.0 (pow x 2))
8.0ms	(* (sqrt (* 3.0 (pow x 2))) (sqrt (* 3.0 (pow x 2))))
4.0ms	(sqrt (* 3.0 (pow x 2)))
4.0ms	(sqrt (* 3.0 (pow x 2)))

simplify791.0ms

Counts

97 → 97

Iterations

Useful iterations: done (789.0ms)

Iter	Nodes	Cost
0	93	962
1	187	693
2	614	596
3	2331	582
done	5000	572

prune184.0ms

Filtered

65 candidates to 97 candidates (-49.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	2	1	3
Picked	0	1	1
Done	0	2	2
Total	98	5	103

Merged error: 0b

Counts

103 → 5

regimes39.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	11	12
1	18	12
2	20	12
done	20	12

end0.0ms

sample530.0ms

Algorithm

intervals

Results

308.0ms

12015×

body

valid

Details

sample20.0ms

simplify2.0s

prune2.0ms

localize5.0ms

rewrite8.0ms

series7.0ms

simplify1.1s

prune49.0ms

localize9.0ms

rewrite22.0ms

series23.0ms

simplify497.0ms

prune164.0ms

localize5.0ms

rewrite14.0ms

series14.0ms

simplify896.0ms

prune65.0ms

localize12.0ms

rewrite27.0ms

series20.0ms

simplify791.0ms

prune184.0ms

regimes39.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample530.0ms

Profiling