Details

sample59.0ms

Algorithm

intervals

Results

25.0ms

372×

body

valid

simplify859.0ms

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	271	17
6	393	17
7	553	17
8	727	17
9	776	17
done	776	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))

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

series96.0ms

Counts

4 → 12

Calls

4 calls:

26.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)
12.0ms	(+ (* x y) (/ (* z t) 16.0))

simplify626.0ms

Counts

81 → 81

Iterations

Useful iterations: done (624.0ms)

Iter	Nodes	Cost
0	141	1389
1	375	1288
2	1260	1232
done	5000	1204

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

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

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

series96.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b)))
49.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ a (/ 4.0 b))) c)
16.0ms	(+ (* x y) (/ (* z t) 16.0))
4.0ms	(/ a (/ 4.0 b))

simplify814.0ms

Counts

132 → 132

Iterations

Useful iterations: 2 (201.0ms)

Iter	Nodes	Cost
0	246	2161
1	602	2000
2	1829	1934
done	5000	1934

prune187.0ms

Filtered

105 candidates to 132 candidates (-25.7%)

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

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

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

45.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ (/ 4.0 b) a))) c)
6.0ms	(+ (* x y) (/ (* z t) 16.0))
6.0ms	(/ (/ 4.0 b) a)
16.0ms	(/ 1 (/ (/ 4.0 b) a))

series68.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ 1 (/ (/ 4.0 b) a))) c)
12.0ms	(+ (* x y) (/ (* z t) 16.0))
3.0ms	(/ (/ 4.0 b) a)
4.0ms	(/ 1 (/ (/ 4.0 b) a))

simplify1.3s

Counts

313 → 313

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	489	5177
1	1224	4491
2	2678	3829
done	5000	3823

prune313.0ms

Filtered

176 candidates to 313 candidates (-77.8%)

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

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

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

28.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)))
12.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))
12.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))

series296.0ms

Counts

4 → 12

Calls

4 calls:

134.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)))
52.0ms	(cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))
54.0ms	(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))

simplify1.1s

Counts

117 → 117

Iterations

Useful iterations: 3 (511.0ms)

Iter	Nodes	Cost
0	138	4572
1	291	4307
2	749	4027
3	2568	3363
done	5000	3363

prune271.0ms

Filtered

80 candidates to 117 candidates (-46.3%)

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

700.0ms

11996×

body

valid

Details

sample59.0ms

simplify859.0ms

prune5.0ms

localize13.0ms

rewrite35.0ms

series96.0ms

simplify626.0ms

prune108.0ms

localize13.0ms

rewrite58.0ms

series96.0ms

simplify814.0ms

prune187.0ms

localize14.0ms

rewrite97.0ms

series68.0ms

simplify1.3s

prune313.0ms

localize21.0ms

rewrite69.0ms

series296.0ms

simplify1.1s

prune271.0ms

regimes1.3s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling