Details

sample38.0ms

Algorithm

intervals

Results

14.0ms

277×

body

valid

simplify544.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	23	17
2	37	17
3	57	17
4	74	17
5	86	17
6	110	17
7	179	17
8	335	17
9	653	17
10	1583	17
done	5001	17

prune11.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: 25.1b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.0b	(* z (- t a))
0.5b	(+ (* x y) (* z (- t a)))
24.5b	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
16×	`add-cube-cbrt`
10×	`add-exp-log` `associate-r` `add-cbrt-cube`
9×	`times-frac`
8×	`pow1`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `add-log-exp`
4×	`associate-+r+` `associate-*r/`
3×	`flip3-+` `associate-/r` `flip-+` `associate-/l`
2×	`flip3--` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `flip--` `cbrt-unprod` `associate-/l/` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

4 → 98

Calls

4 calls:

7.0ms	(* z (- b y))
7.0ms	(* z (- t a))
5.0ms	(+ (* x y) (* z (- t a)))
8.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series135.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* z (- b y))
8.0ms	(* z (- t a))
15.0ms	(+ (* x y) (* z (- t a)))
104.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify439.0ms

Counts

110 → 110

Iterations

Useful iterations: done (436.0ms)

Iter	Nodes	Cost
0	168	1522
1	413	1476
2	1304	1350
done	5000	1348

prune155.0ms

Filtered

74 candidates to 110 candidates (-48.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	101	9	110
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	101	10	111

Merged error: 24.5b

Counts

111 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- t a))
0.2b	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
0.5b	(+ (* x y) (* z (- t a)))
24.5b	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
62×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
58×	`add-cube-cbrt`
19×	`add-exp-log`
18×	`associate-/r*`
13×	`add-cbrt-cube`
11×	`associate-/r/`
8×	`div-exp`
7×	`pow1` `flip3-+` `flip-+`
6×	`div-inv` `associate-/l*` `add-log-exp`
5×	`associate-r`
4×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in`
3×	`associate-l`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-*r/` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3--` `pow-flip` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `inv-pow` `difference-of-squares` `unswap-sqr`

Counts

4 → 156

Calls

4 calls:

11.0ms	(* z (- t a))
9.0ms	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
5.0ms	(+ (* x y) (* z (- t a)))
8.0ms	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

series288.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* z (- t a))
188.0ms	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
19.0ms	(+ (* x y) (* z (- t a)))
73.0ms	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

simplify634.0ms

Counts

168 → 168

Iterations

Useful iterations: done (628.0ms)

Iter	Nodes	Cost
0	240	4169
1	588	3954
2	2046	3651
done	5000	3574

prune166.0ms

Filtered

102 candidates to 168 candidates (-64.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	166	2	168
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	167	11	178

Merged error: 24.5b

Counts

178 → 11

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- t a))
0.5b	(+ (* x y) (* z (- t a)))
1.2b	(/ 1 (+ y (* z (- b y))))
23.8b	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac` `associate-r`
19×	`add-exp-log`
13×	`add-cbrt-cube`
9×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`flip3-+` `prod-exp` `flip-+`
4×	`distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in` `div-exp` `associate-/r/` `unswap-sqr`
3×	`associate-r/` `associate-/r` `cbrt-unprod` `associate-/l*`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv`
1×	`+-commutative` `flip3--` `pow-flip` `frac-2neg` `clear-num` `sum-log` `un-div-inv` `flip--` `distribute-lft-out--` `inv-pow` `difference-of-squares`

Counts

4 → 116

Calls

4 calls:

7.0ms	(* z (- t a))
5.0ms	(+ (* x y) (* z (- t a)))
5.0ms	(/ 1 (+ y (* z (- b y))))
12.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series145.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* z (- t a))
15.0ms	(+ (* x y) (* z (- t a)))
19.0ms	(/ 1 (+ y (* z (- b y))))
104.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify611.0ms

Counts

128 → 128

Iterations

Useful iterations: done (608.0ms)

Iter	Nodes	Cost
0	173	2024
1	461	1888
2	1724	1666
done	5001	1656

prune146.0ms

Filtered

81 candidates to 128 candidates (-58.0%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	128	11	139

Merged error: 24.5b

Counts

139 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ (* x y) (* z (- t a)))
1.0b	(/ 1 (+ (* x y) (* z (- t a))))
1.2b	(/ 1 (+ (* z (- b y)) y))
22.9b	(/ (/ 1 (+ (* z (- b y)) y)) (/ 1 (+ (* x y) (* z (- t a)))))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

531×	`times-frac`
244×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
69×	`associate-/r/`
52×	`add-exp-log`
36×	`div-exp`
35×	`flip3-+` `flip-+` `div-inv`
21×	`associate-/r` `associate-/l`
20×	`add-cbrt-cube`
10×	`cbrt-undiv` `rec-exp` `1-exp`
6×	`pow1` `add-log-exp`
4×	`associate-+r+`
3×	`frac-2neg` `clear-num`
2×	`distribute-rgt-in` `sub-neg` `pow-flip` `distribute-lft-in` `inv-pow`
1×	`+-commutative` `sum-log` `associate-/l/`

Counts

4 → 368

Calls

4 calls:

5.0ms	(+ (* x y) (* z (- t a)))
6.0ms	(/ 1 (+ (* x y) (* z (- t a))))
9.0ms	(/ 1 (+ (* z (- b y)) y))
24.0ms	(/ (/ 1 (+ (* z (- b y)) y)) (/ 1 (+ (* x y) (* z (- t a)))))

series171.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(+ (* x y) (* z (- t a)))
22.0ms	(/ 1 (+ (* x y) (* z (- t a))))
17.0ms	(/ 1 (+ (* z (- b y)) y))
117.0ms	(/ (/ 1 (+ (* z (- b y)) y)) (/ 1 (+ (* x y) (* z (- t a)))))

simplify535.0ms

Counts

380 → 380

Iterations

Useful iterations: done (519.0ms)

Iter	Nodes	Cost
0	541	14402
1	1676	13196
done	5000	12102

prune217.0ms

Filtered

141 candidates to 380 candidates (-169.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	377	3	380
Fresh	4	3	7
Picked	0	1	1
Done	1	2	3
Total	382	9	391

Merged error: 11.0b

Counts

391 → 9

regimes1.1s

Accuracy

70.3% (3.7b remaining)

Error of 14.9b against oracle of 11.2b and baseline of 23.7b

bsearch1.0ms

simplify11.0ms

Iterations

Useful iterations: 4 (6.0ms)

Iter	Nodes	Cost
0	29	129
1	37	123
2	40	107
3	43	107
4	46	106
5	50	106
6	53	106
done	53	106

end0.0ms

sample1.0s

Algorithm

intervals

Results

445.0ms

8384×

body

valid

Details

sample38.0ms

simplify544.0ms

prune11.0ms

localize12.0ms

rewrite29.0ms

series135.0ms

simplify439.0ms

prune155.0ms

localize14.0ms

rewrite39.0ms

series288.0ms

simplify634.0ms

prune166.0ms

localize18.0ms

rewrite32.0ms

series145.0ms

simplify611.0ms

prune146.0ms

localize15.0ms

rewrite67.0ms

series171.0ms

simplify535.0ms

prune217.0ms

regimes1.1s

bsearch1.0ms

simplify11.0ms

end0.0ms

sample1.0s

Profiling