Details

sample497.0ms

Algorithm

intervals

Results

286.0ms

512×

body

valid

simplify3.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
4	2345
3	531
2	141
1	51
0	22

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize72.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (* (* w r) (* w r)) (- 1.0 v))
0.4b	(* (* w r) (* w r))
0.8b	(/ 2.0 (* r r))
6.1b	(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* (- 3.0 (* 2.0 v)) 0.125))

rewrite439.0ms

Algorithm

rewrite-expression-head

Rules

95×	`add-exp-log` `add-cbrt-cube`
51×	`prod-exp` `cbrt-unprod`
48×	`pow1`
20×	`pow-prod-down`
17×	`cbrt-undiv` `div-exp`
16×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`times-frac`
12×	`associate-l`
10×	`add-cube-cbrt`
6×	`associate-/r*`
5×	`associate-*l/`
4×	`flip3--` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `associate-/l*` `add-log-exp`
3×	`div-inv` `distribute-lft-out--` `difference-of-squares`
2×	`frac-times` `frac-2neg` `pow-plus` `associate-r/` `associate-r` `clear-num` `-commutative`
1×	`pow2` `swap-sqr`

Counts

4 → 139

Calls

4 calls:

80.0ms	(/ (* (* w r) (* w r)) (- 1.0 v))
62.0ms	(* (* w r) (* w r))
18.0ms	(/ 2.0 (* r r))
262.0ms	(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* (- 3.0 (* 2.0 v)) 0.125))

series473.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(/ (* (* w r) (* w r)) (- 1.0 v))
75.0ms	(* (* w r) (* w r))
54.0ms	(/ 2.0 (* r r))
235.0ms	(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* (- 3.0 (* 2.0 v)) 0.125))

simplify3.9s

Counts

151 → 151

Iterations

Iter	Nodes
done	5016
2	3379
1	788
0	241

prune1.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (* (* w r) (* w r)) (- 1.0 v))
0.2b	(/ (/ 2.0 r) r)
0.4b	(* (* w r) (* w r))
6.1b	(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* (- 3.0 (* 2.0 v)) 0.125))

rewrite448.0ms

Algorithm

rewrite-expression-head

Rules

95×	`add-exp-log` `add-cbrt-cube`
85×	`times-frac`
56×	`add-sqr-sqrt` `*-un-lft-identity`
50×	`add-cube-cbrt` `prod-exp` `cbrt-unprod`
48×	`pow1`
20×	`pow-prod-down`
18×	`cbrt-undiv` `div-exp`
14×	`associate-/l*`
12×	`associate-l`
8×	`associate-/r*`
7×	`div-inv`
5×	`associate-*l/`
4×	`flip3--` `associate-/r/` `pow-sqr` `pow-prod-up` `flip--` `add-log-exp`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`frac-times` `frac-2neg` `pow-plus` `associate-r/` `associate-r` `clear-num` `-commutative`
1×	`pow2` `swap-sqr` `associate-/l/`

Counts

4 → 188

Calls

4 calls:

85.0ms	(/ (* (* w r) (* w r)) (- 1.0 v))
26.0ms	(/ (/ 2.0 r) r)
60.0ms	(* (* w r) (* w r))
255.0ms	(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* (- 3.0 (* 2.0 v)) 0.125))

series757.0ms

Counts

4 → 12

Calls

4 calls:

441.0ms	(/ (* (* w r) (* w r)) (- 1.0 v))
48.0ms	(/ (/ 2.0 r) r)
65.0ms	(* (* w r) (* w r))
203.0ms	(* (/ (* (* w r) (* w r)) (- 1.0 v)) (* (- 3.0 (* 2.0 v)) 0.125))

simplify4.0s

Counts

200 → 200

Iterations

Iter	Nodes
done	5004
2	3820
1	1015
0	338

prune1.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (/ (/ 2.0 r) r) (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))) (- 3.0 4.5))
0.1b	(* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))
0.2b	(/ (/ 2.0 r) r)
0.4b	(* (* w r) (* w r))

rewrite966.0ms

Algorithm

rewrite-expression-head

Rules

90×	`add-exp-log` `add-cbrt-cube`
80×	`times-frac`
61×	`pow1`
55×	`*-un-lft-identity`
52×	`prod-exp` `cbrt-unprod`
51×	`add-sqr-sqrt`
48×	`add-cube-cbrt`
30×	`pow-prod-down`
16×	`add-log-exp`
13×	`cbrt-undiv` `div-exp` `associate-/l*`
12×	`associate-r`
6×	`flip3--` `frac-add` `flip--` `div-inv`
4×	`diff-log` `sum-log` `pow-sqr` `pow-prod-up`
3×	`associate-r/` `associate-/r`
2×	`sub-neg` `associate-+l+` `associate-+r+` `pow-plus` `associate-l` `associate-/r/` `*-commutative` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `pow2` `associate-+l-` `associate-+r-` `frac-2neg` `flip3-+` `swap-sqr` `clear-num` `flip-+` `associate-/l/` `difference-of-squares` `unswap-sqr`

Counts

4 → 189

Calls

4 calls:

590.0ms	(+ (- (/ (/ 2.0 r) r) (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))) (- 3.0 4.5))
267.0ms	(* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))
25.0ms	(/ (/ 2.0 r) r)
62.0ms	(* (* w r) (* w r))

series626.0ms

Counts

4 → 12

Calls

4 calls:

304.0ms	(+ (- (/ (/ 2.0 r) r) (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))) (- 3.0 4.5))
197.0ms	(* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))
62.0ms	(/ (/ 2.0 r) r)
63.0ms	(* (* w r) (* w r))

simplify5.4s

Counts

201 → 201

Iterations

Iter	Nodes
done	5010
2	4463
1	1118
0	378

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize99.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* w r) (* w r))
0.4b	(* (sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))) (sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))))
12.3b	(sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v))))
12.3b	(sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v))))

rewrite1.8s

Algorithm

rewrite-expression-head

Rules

810×	`pow1`
575×	`pow-prod-down`
240×	`sqrt-pow1`
54×	`pow-prod-up`
42×	`pow-sqr`
20×	`pow1/2`
18×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`prod-exp` `cbrt-unprod`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-*r/`
6×	`sqrt-div` `sqrt-prod`
5×	`swap-sqr` `associate-r` `associate-l`
4×	`add-log-exp`
3×	`pow-plus`
2×	`pow2` `*-commutative`
1×	`frac-times` `sqrt-unprod` `associate-*l/` `rem-square-sqrt` `unswap-sqr`

Counts

4 → 222

Calls

4 calls:

60.0ms	(* (* w r) (* w r))
1.3s	(* (sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))) (sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))))
172.0ms	(sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v))))
183.0ms	(sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v))))

series1.3s

Counts

4 → 12

Calls

4 calls:

63.0ms	(* (* w r) (* w r))
460.0ms	(* (sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))) (sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v)))))
406.0ms	(sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v))))
397.0ms	(sqrt (* (* (* w r) (* w r)) (/ (* (- 3.0 (* 2.0 v)) 0.125) (- 1.0 v))))

simplify2.6s

Counts

234 → 234

Iterations

Iter	Nodes
done	5001
2	1684
1	403
0	144

prune1.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes712.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify14.0ms

Iterations

Iter	Nodes
done	33
1	33
0	26

end0.0ms

sample4.9s

Algorithm

intervals

Results

4.1s

17270×

body

valid