Details

sample35.0ms

Algorithm

intervals

Results

11.0ms

348×

body

valid

simplify473.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	20	9
2	40	9
3	54	9
4	75	9
5	107	9
6	162	9
7	229	9
8	346	9
9	457	9
10	517	9
11	567	9
12	580	9
13	584	9
done	584	9

prune3.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.5b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.5b	(/ (- (+ x y) z) (* t 2.0))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 30

Calls

1 calls:

9.0ms

(/ (- (+ x y) z) (* t 2.0))

series12.0ms

Counts

1 → 3

Calls

1 calls:

12.0ms

(/ (- (+ x y) z) (* t 2.0))

simplify1.9s

Counts

33 → 33

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	78	418
1	203	411
2	688	355
3	2705	353
done	5000	352

prune43.0ms

Filtered

23 candidates to 33 candidates (-43.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	3	34

Merged error: 0.0b

Counts

34 → 3

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (- (+ x y) z) t)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

32×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
18×	`times-frac`
12×	`add-cube-cbrt`
8×	`distribute-lft-out--`
6×	`associate-/l*`
4×	`distribute-lft-out` `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 → 42

Calls

1 calls:

9.0ms

(/ (- (+ x y) z) t)

series12.0ms

Counts

1 → 3

Calls

1 calls:

12.0ms

(/ (- (+ x y) z) t)

simplify1.8s

Counts

45 → 45

Iterations

Useful iterations: 4 (848.0ms)

Iter	Nodes	Cost
0	79	552
1	176	535
2	439	507
3	1297	505
4	4368	504
done	5001	504

prune43.0ms

Filtered

31 candidates to 45 candidates (-45.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Merged error: 0b

Counts

48 → 3

localize11.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ 1 (/ (* t 2.0) (- (+ x y) z)))
0.5b	(/ (* t 2.0) (- (+ x y) z))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

66×	`times-frac`
55×	`*-un-lft-identity`
37×	`add-sqr-sqrt`
28×	`add-exp-log`
25×	`add-cube-cbrt`
18×	`associate-/r*`
16×	`add-cbrt-cube`
14×	`div-exp`
12×	`distribute-lft-out--`
11×	`associate-/r/`
7×	`cbrt-undiv`
6×	`div-inv` `distribute-lft-out` `difference-of-squares`
5×	`flip3--` `flip--`
4×	`prod-exp` `associate-/l*`
3×	`pow1` `rec-exp` `1-exp`
2×	`frac-2neg` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`pow-flip` `inv-pow`

Counts

2 → 105

Calls

2 calls:

11.0ms	(/ 1 (/ (* t 2.0) (- (+ x y) z)))
9.0ms	(/ (* t 2.0) (- (+ x y) z))

series27.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(/ 1 (/ (* t 2.0) (- (+ x y) z)))
15.0ms	(/ (* t 2.0) (- (+ x y) z))

simplify991.0ms

Counts

111 → 111

Iterations

Useful iterations: done (987.0ms)

Iter	Nodes	Cost
0	172	1834
1	420	1636
2	1206	1444
done	5001	1430

prune75.0ms

Filtered

52 candidates to 111 candidates (-113.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	111	3	114

Merged error: 0b

Counts

114 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
2.0b	(cbrt (/ (- (+ x y) z) t))
2.0b	(cbrt (/ (- (+ x y) z) t))
2.0b	(cbrt (/ (- (+ x y) z) t))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

267×	`*-un-lft-identity`
202×	`cbrt-prod`
168×	`times-frac`
156×	`add-sqr-sqrt`
90×	`add-cube-cbrt`
66×	`distribute-lft-out--`
43×	`swap-sqr`
33×	`distribute-lft-out`
25×	`associate-r` `associate-l`
21×	`difference-of-squares`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 216

Calls

4 calls:

28.0ms	(* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
7.0ms	(cbrt (/ (- (+ x y) z) t))
10.0ms	(cbrt (/ (- (+ x y) z) t))
8.0ms	(cbrt (/ (- (+ x y) z) t))

series255.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
56.0ms	(cbrt (/ (- (+ x y) z) t))
54.0ms	(cbrt (/ (- (+ x y) z) t))
59.0ms	(cbrt (/ (- (+ x y) z) t))

simplify1.6s

Counts

228 → 228

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	231	4935
1	428	4657
2	1126	4499
3	3010	4247
done	5001	4244

prune191.0ms

Filtered

144 candidates to 228 candidates (-58.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	228	0	228
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	228	3	231

Merged error: 0b

Counts

231 → 3

regimes356.0ms

Accuracy

0% (0.0b 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	9	9
1	10	9
done	10	9

end0.0ms

sample889.0ms

Algorithm

intervals

Results

357.0ms

10910×

body

valid

Details

sample35.0ms

simplify473.0ms

prune3.0ms

localize7.0ms

rewrite11.0ms

series12.0ms

simplify1.9s

prune43.0ms

localize7.0ms

rewrite10.0ms

series12.0ms

simplify1.8s

prune43.0ms

localize11.0ms

rewrite25.0ms

series27.0ms

simplify991.0ms

prune75.0ms

localize11.0ms

rewrite68.0ms

series255.0ms

simplify1.6s

prune191.0ms

regimes356.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample889.0ms

Profiling