Details

sample36.0ms

Algorithm

intervals

Results

10.0ms

280×

body

valid

simplify3.4s

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	165	11
7	185	11
8	208	11
9	254	11
10	347	11
11	532	11
12	721	11
13	993	11
14	1272	11
15	1691	11
16	2137	11
17	2671	11
18	3170	11
19	3833	11
20	4442	11
done	5001	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))

rewrite19.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))

simplify612.0ms

Counts

57 → 57

Iterations

Useful iterations: done (611.0ms)

Iter	Nodes	Cost
0	101	565
1	262	549
2	1133	479
done	5002	471

prune89.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)))

rewrite23.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))
14.0ms	(* (- y z) (/ t (- a z)))

series27.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(/ t (- a z))
20.0ms	(* (- y z) (/ t (- a z)))

simplify1.2s

Counts

89 → 89

Iterations

Useful iterations: 3 (427.0ms)

Iter	Nodes	Cost
0	130	977
1	299	939
2	1146	865
3	4844	857
done	5000	857

prune94.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))

rewrite21.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))

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

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

simplify515.0ms

Counts

140 → 140

Iterations

Useful iterations: done (510.0ms)

Iter	Nodes	Cost
0	228	2726
1	655	2568
2	2246	2479
done	5001	2473

prune111.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)

rewrite27.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:

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

series38.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify946.0ms

Counts

108 → 108

Iterations

Useful iterations: done (943.0ms)

Iter	Nodes	Cost
0	143	1303
1	364	1271
2	1068	1193
3	3571	1185
done	5000	1183

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

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

sample855.0ms

Algorithm

intervals

Results

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

simplify3.4s

prune4.0ms

localize8.0ms

rewrite19.0ms

series24.0ms

simplify612.0ms

prune89.0ms

localize8.0ms

rewrite23.0ms

series27.0ms

simplify1.2s

prune94.0ms

localize8.0ms

rewrite21.0ms

series24.0ms

simplify515.0ms

prune111.0ms

localize8.0ms

rewrite27.0ms

series38.0ms

simplify946.0ms

prune79.0ms

regimes311.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample855.0ms

Profiling