Details

sample36.0ms

Algorithm

intervals

Results

11.0ms

280×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	35	11
3	60	11
4	95	11
5	136	11
6	162	11
7	191	11
8	218	11
9	271	11
10	380	11
11	567	11
12	778	11
13	965	11
14	1233	11
15	1423	11
16	1571	11
17	1834	11
18	2022	11
19	2170	11
20	2433	11
21	2621	11
22	2769	11
23	3032	11
24	3220	11
25	3368	11
26	3631	11
27	3819	11
28	3967	11
29	4230	11
30	4418	11
31	4566	11
32	4829	11
done	5000	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: 11.9b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- y z) t)
12.0b	(/ (* (- y z) t) (- a z))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`add-exp-log` `add-cbrt-cube`
6×	`add-cube-cbrt`
5×	`times-frac` `associate-l` `associate-/r*`
4×	`pow1` `associate-*l/`
3×	`flip3--` `associate-r` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/` `add-log-exp`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

2 → 51

Calls

2 calls:

7.0ms	(* (- y z) t)
10.0ms	(/ (* (- y z) t) (- a z))

series24.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (- y z) t)
17.0ms	(/ (* (- y z) t) (- a z))

simplify378.0ms

Counts

57 → 57

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	101	565
1	262	545
2	1059	471
done	5000	471

prune90.0ms

Filtered

42 candidates to 57 candidates (-35.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	51	6	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	7	58

Merged error: 0b

Counts

58 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- a z))
9.9b	(* (- y z) (/ t (- a z)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
21×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-l` `associate-/r*`
4×	`pow1` `flip3--` `associate-/r/` `flip--`
3×	`associate-/l*`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 83

Calls

2 calls:

6.0ms	(/ t (- a z))
16.0ms	(* (- y z) (/ t (- a z)))

series24.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ t (- a z))
17.0ms	(* (- y z) (/ t (- a z)))

simplify431.0ms

Counts

89 → 89

Iterations

Useful iterations: 2 (89.0ms)

Iter	Nodes	Cost
0	130	977
1	299	931
2	1163	857
done	5000	857

prune89.0ms

Filtered

61 candidates to 89 candidates (-45.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	89	7	96

Merged error: 0b

Counts

96 → 7

localize8.0ms

Local error

Found 1 expressions with local error:

11.2b

(/ (- y z) (/ (- a z) t))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 137

Calls

1 calls:

12.0ms

(/ (- y z) (/ (- a z) t))

series28.0ms

Counts

1 → 3

Calls

1 calls:

27.0ms

(/ (- y z) (/ (- a z) t))

simplify526.0ms

Counts

140 → 140

Iterations

Useful iterations: 2 (177.0ms)

Iter	Nodes	Cost
0	228	2726
1	655	2555
2	2315	2473
done	5000	2473

prune106.0ms

Filtered

92 candidates to 140 candidates (-52.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	139	1	140
Fresh	3	1	4
Picked	0	1	1
Done	1	1	2
Total	143	4	147

Merged error: 0b

Counts

147 → 4

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y z) (- a z))
1.8b	(* (/ (- y z) (- a z)) t)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-l`
26×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/r` `associate-/l`
4×	`pow1` `associate-/r/`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `-commutative`

Counts

2 → 102

Calls

2 calls:

12.0ms	(/ (- y z) (- a z))
13.0ms	(* (/ (- y z) (- a z)) t)

series33.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(/ (- y z) (- a z))
23.0ms	(* (/ (- y z) (- a z)) t)

simplify791.0ms

Counts

108 → 108

Iterations

Useful iterations: done (788.0ms)

Iter	Nodes	Cost
0	143	1303
1	364	1269
2	1031	1185
3	3588	1185
done	5000	1183

prune86.0ms

Filtered

71 candidates to 108 candidates (-52.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	108	4	112

Merged error: 0b

Counts

112 → 4

regimes317.0ms

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	12	11
done	12	11

end0.0ms

sample888.0ms

Algorithm

intervals

Results

358.0ms	8753×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample36.0ms

simplify1.9s

prune4.0ms

localize8.0ms

rewrite18.0ms

series24.0ms

simplify378.0ms

prune90.0ms

localize8.0ms

rewrite26.0ms

series24.0ms

simplify431.0ms

prune89.0ms

localize8.0ms

rewrite22.0ms

series28.0ms

simplify526.0ms

prune106.0ms

localize8.0ms

rewrite30.0ms

series33.0ms

simplify791.0ms

prune86.0ms

regimes317.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample888.0ms

Profiling