Details

sample39.0ms

Algorithm

intervals

Results

15.0ms

277×

body

valid

simplify502.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	694	17
10	1662	17
done	5000	17

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

Counts

2 → 1

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

rewrite36.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)))
15.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series338.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify439.0ms

Counts

110 → 110

Iterations

Useful iterations: 2 (114.0ms)

Iter	Nodes	Cost
0	168	1522
1	413	1454
2	1399	1348
done	5000	1348

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

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

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

series286.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify517.0ms

Counts

168 → 168

Iterations

Useful iterations: 2 (179.0ms)

Iter	Nodes	Cost
0	240	4169
1	588	3933
2	2094	3574
done	5001	3574

prune162.0ms

Filtered

97 candidates to 168 candidates (-73.2%)

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

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

series146.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify508.0ms

Counts

128 → 128

Iterations

Useful iterations: 2 (138.0ms)

Iter	Nodes	Cost
0	173	2024
1	461	1866
2	1824	1656
done	5000	1656

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

rewrite68.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))))
12.0ms	(/ 1 (+ (* z (- b y)) y))
22.0ms	(/ (/ 1 (+ (* z (- b y)) y)) (/ 1 (+ (* x y) (* z (- t a)))))

series165.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(+ (* x y) (* z (- t a)))
24.0ms	(/ 1 (+ (* x y) (* z (- t a))))
13.0ms	(/ 1 (+ (* z (- b y)) y))
113.0ms	(/ (/ 1 (+ (* z (- b y)) y)) (/ 1 (+ (* x y) (* z (- t a)))))

simplify632.0ms

Counts

380 → 380

Iterations

Useful iterations: done (616.0ms)

Iter	Nodes	Cost
0	541	14402
1	1676	13104
done	5000	12034

prune211.0ms

Filtered

134 candidates to 380 candidates (-183.6%)

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

simplify9.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	47	106
done	47	106

end0.0ms

sample1.1s

Algorithm

intervals

Results

472.0ms

8384×

body

valid

Details

sample39.0ms

simplify502.0ms

prune4.0ms

localize13.0ms

rewrite36.0ms

series338.0ms

simplify439.0ms

prune161.0ms

localize14.0ms

rewrite35.0ms

series286.0ms

simplify517.0ms

prune162.0ms

localize17.0ms

rewrite32.0ms

series146.0ms

simplify508.0ms

prune147.0ms

localize15.0ms

rewrite68.0ms

series165.0ms

simplify632.0ms

prune211.0ms

regimes1.1s

bsearch1.0ms

simplify9.0ms

end0.0ms

sample1.1s

Profiling