Details

sample61.0ms

Algorithm

intervals

Results

26.0ms

372×

body

valid

simplify13.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	17
1	32	17
2	68	17
3	121	17
4	192	17
5	272	17
6	397	17
7	592	17
8	836	17
9	1043	17
10	1181	17
11	1321	17
12	1471	17
13	1651	17
14	1851	17
15	2074	17
16	2319	17
17	2597	17
18	2905	17
19	3251	17
20	3631	17
21	4053	17
22	4513	17
done	5000	17

prune5.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.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b	(/ (* a b) 4.0)
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

9.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
5.0ms	(/ (* a b) 4.0)
12.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
6.0ms	(+ (* x y) (/ (* z t) 16.0))

series97.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
4.0ms	(/ (* a b) 4.0)
53.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
13.0ms	(+ (* x y) (/ (* z t) 16.0))

simplify405.0ms

Counts

81 → 81

Iterations

Useful iterations: done (402.0ms)

Iter	Nodes	Cost
0	141	1389
1	381	1295
2	1329	1234
done	5000	1204

prune113.0ms

Filtered

60 candidates to 81 candidates (-35.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	79	3	82

Merged error: 0.0b

Counts

82 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b)))
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b))) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.3b	(/ a (/ 4.0 b))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
55×	`add-sqr-sqrt`
53×	`*-un-lft-identity`
46×	`add-cube-cbrt`
20×	`add-log-exp`
13×	`associate-/r*`
9×	`add-exp-log` `add-cbrt-cube`
6×	`sum-log`
5×	`div-inv`
4×	`pow1` `diff-log`
3×	`cbrt-undiv` `associate-+l+` `flip3-+` `div-exp` `flip-+` `associate-/l*` `difference-of-squares`
2×	`+-commutative` `sub-neg` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`associate-+l-` `flip3--` `frac-2neg` `clear-num` `associate-/r/` `flip--`

Counts

4 → 120

Calls

4 calls:

23.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b)))
22.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b))) c)
5.0ms	(+ (* x y) (/ (* z t) 16.0))
6.0ms	(/ a (/ 4.0 b))

series98.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b)))
50.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b))) c)
13.0ms	(+ (* x y) (/ (* z t) 16.0))
4.0ms	(/ a (/ 4.0 b))

simplify494.0ms

Counts

132 → 132

Iterations

Useful iterations: done (490.0ms)

Iter	Nodes	Cost
0	246	2161
1	605	2012
2	1955	1940
done	5001	1936

prune190.0ms

Filtered

106 candidates to 132 candidates (-24.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	131	4	135

Merged error: 0.0b

Counts

135 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

468×	`times-frac`
237×	`*-un-lft-identity`
230×	`add-sqr-sqrt` `add-cube-cbrt`
46×	`associate-/r*`
30×	`add-exp-log`
23×	`div-inv`
18×	`div-exp` `add-cbrt-cube`
16×	`associate-/l*`
15×	`add-log-exp`
9×	`cbrt-undiv`
5×	`pow1` `sum-log`
3×	`rec-exp` `associate-+l+` `1-exp` `distribute-lft-out`
2×	`+-commutative` `frac-2neg` `flip3-+` `diff-log` `clear-num` `flip-+` `distribute-lft-out--`
1×	`associate-+l-` `sub-neg` `pow-flip` `associate--l+` `associate-/r/` `associate-/l/` `inv-pow`

Counts

4 → 301

Calls

4 calls:

47.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ (/ 4.0 b) a))) c)
9.0ms	(+ (* x y) (/ (* z t) 16.0))
7.0ms	(/ (/ 4.0 b) a)
14.0ms	(/ 1 (/ (/ 4.0 b) a))

series72.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ (/ 4.0 b) a))) c)
13.0ms	(+ (* x y) (/ (* z t) 16.0))
4.0ms	(/ (/ 4.0 b) a)
5.0ms	(/ 1 (/ (/ 4.0 b) a))

simplify840.0ms

Counts

313 → 313

Iterations

Useful iterations: done (829.0ms)

Iter	Nodes	Cost
0	489	5177
1	1237	4645
2	4001	4185
done	5000	4025

prune343.0ms

Filtered

182 candidates to 313 candidates (-72.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	313	0	313
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	313	4	317

Merged error: 0.0b

Counts

317 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
0.5b	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
0.5b	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
0.5b	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

74×	`*-un-lft-identity`
51×	`cbrt-prod`
23×	`add-sqr-sqrt`
22×	`distribute-lft-out`
18×	`cbrt-div`
15×	`add-cube-cbrt`
14×	`swap-sqr`
11×	`pow1` `distribute-lft-out--`
9×	`flip3-+` `pow1/3` `flip-+`
8×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 105

Calls

4 calls:

30.0ms	(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
17.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
13.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
12.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

series305.0ms

Counts

4 → 12

Calls

4 calls:

138.0ms	(* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)))
56.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
57.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
53.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

simplify989.0ms

Counts

117 → 117

Iterations

Useful iterations: done (984.0ms)

Iter	Nodes	Cost
0	138	4572
1	295	4348
2	886	4029
3	2876	3444
done	5001	3363

prune283.0ms

Filtered

83 candidates to 117 candidates (-41.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	117	4	121

Merged error: 0b

Counts

121 → 4

regimes1.3s

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	17
1	22	17
done	22	17

end0.0ms

sample1.7s

Algorithm

intervals

Results

695.0ms

11996×

body

valid

Details

sample61.0ms

simplify13.0s

prune5.0ms

localize13.0ms

rewrite34.0ms

series97.0ms

simplify405.0ms

prune113.0ms

localize13.0ms

rewrite61.0ms

series98.0ms

simplify494.0ms

prune190.0ms

localize15.0ms

rewrite102.0ms

series72.0ms

simplify840.0ms

prune343.0ms

localize18.0ms

rewrite77.0ms

series305.0ms

simplify989.0ms

prune283.0ms

regimes1.3s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling