Details

sample314.0ms

Algorithm

intervals

Results

178.0ms

497×

body

valid

simplify188.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

187.0ms

(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5)

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize55.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 2 (* r r))
0.4b	(* (* w r) (* w r))
0.3b	(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
0.3b	(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

315×	`times-frac`
153×	`add-sqr-sqrt` `*-un-lft-identity`
115×	`add-cbrt-cube` `add-exp-log`
99×	`add-cube-cbrt`
43×	`pow1` `cbrt-undiv` `div-exp`
41×	`prod-exp` `cbrt-unprod`
36×	`difference-of-squares`
30×	`associate-/r` `associate-/l`
18×	`distribute-lft-out--`
17×	`pow-prod-down`
13×	`associate-/r/` `div-inv`
6×	`flip3--` `flip--`
4×	`pow-sqr` `pow-prod-up` `insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg`
2×	`pow-plus` `div-sub`
1×	`pow2` `swap-sqr` `associate-r` `associate-l` `*-commutative` `associate-/l/`

Counts

4 → 288

Calls

4 calls:

Slowest

51.0ms	(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
40.0ms	(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
37.0ms	(* (* w r) (* w r))
26.0ms	(/ 2 (* r r))

series303.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

107.0ms	(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
82.0ms	(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
72.0ms	(/ 2 (* r r))
41.0ms	(* (* w r) (* w r))

simplify1.6m

Counts

371 → 300

Calls

371 calls:

Slowest

1.6s	(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.2s	(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s	(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s	(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))))
1.2s	(/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* (* w r) (* w r))) (* (* w r) (* w r))))

prune4.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 2 (* r r))
0.4b	(* (* (* w r) 0.125) (* w r))
0.2b	(/ (+ (* v -2) 3) (- 1 v))
0.1b	(* (/ (+ (* v -2) 3) (- 1 v)) (* (* (* w r) 0.125) (* w r)))

rewrite366.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-cbrt-cube` `add-exp-log`
60×	`prod-exp` `cbrt-unprod`
54×	`pow1`
48×	`add-sqr-sqrt` `*-un-lft-identity`
39×	`times-frac`
37×	`pow-prod-down`
27×	`add-cube-cbrt`
25×	`associate-l`
14×	`difference-of-squares`
10×	`cbrt-undiv` `div-exp`
7×	`associate-/r*` `distribute-lft-out--`
6×	`associate-/l*`
4×	`associate-/r/` `insert-posit16` `add-log-exp`
3×	`div-inv`
2×	`clear-num` `frac-2neg` `flip3--` `associate-r` `*-commutative` `flip--` `associate-/l/`
1×	`flip3-+` `associate-*l/` `flip-+`

Counts

4 → 165

Calls

4 calls:

Slowest

202.0ms	(* (/ (+ (* v -2) 3) (- 1 v)) (* (* (* w r) 0.125) (* w r)))
101.0ms	(* (* (* w r) 0.125) (* w r))
44.0ms	(/ (+ (* v -2) 3) (- 1 v))
13.0ms	(/ 2 (* r r))

series226.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

97.0ms	(* (/ (+ (* v -2) 3) (- 1 v)) (* (* (* w r) 0.125) (* w r)))
48.0ms	(* (* (* w r) 0.125) (* w r))
47.0ms	(/ (+ (* v -2) 3) (- 1 v))
33.0ms	(/ 2 (* r r))

simplify24.2s

Counts

153 → 177

Calls

153 calls:

Slowest

1.3s	(* (/ (* (* (+ (* v -2) 3) (+ (* v -2) 3)) (+ (* v -2) 3)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* (* w w) w) (* (* r r) r)) (* (* 0.125 0.125) 0.125)) (* (* (* w w) w) (* (* r r) r))))
1.0s	(* (/ (* (* (+ (* v -2) 3) (+ (* v -2) 3)) (+ (* v -2) 3)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* (* w r) 0.125) (* w r)) (* (* (* w r) 0.125) (* w r))) (* (* (* w r) 0.125) (* w r))))
846.0ms	(* (* (* (/ (+ (* v -2) 3) (- 1 v)) (/ (+ (* v -2) 3) (- 1 v))) (/ (+ (* v -2) 3) (- 1 v))) (* (* (* (* (* w r) 0.125) (* (* w r) 0.125)) (* (* w r) 0.125)) (* (* (* w w) w) (* (* r r) r))))
843.0ms	(* (* (* (/ (+ (* v -2) 3) (- 1 v)) (/ (+ (* v -2) 3) (- 1 v))) (/ (+ (* v -2) 3) (- 1 v))) (* (* (* (* (* w r) (* w r)) (* w r)) (* (* 0.125 0.125) 0.125)) (* (* (* w w) w) (* (* r r) r))))
831.0ms	(* (/ (* (* (+ (* v -2) 3) (+ (* v -2) 3)) (+ (* v -2) 3)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* (* w r) (* w r)) (* w r)) (* (* 0.125 0.125) 0.125)) (* (* (* w r) (* w r)) (* w r))))

prune2.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

5.0b	(* (+ (* v -2) 3) (* (/ 1 (- 1 v)) (* (* (* w r) 0.125) (* w r))))
0.7b	(/ 2 (* r r))
0.4b	(* (* (* w r) 0.125) (* w r))
0.2b	(* (/ 1 (- 1 v)) (* (* (* w r) 0.125) (* w r)))

rewrite972.0ms

Algorithm

rewrite-expression-head

Rules

306×	`add-exp-log`
221×	`prod-exp`
176×	`add-cbrt-cube`
119×	`cbrt-unprod`
92×	`pow1`
67×	`pow-prod-down`
30×	`div-exp`
28×	`associate-l`
26×	`add-sqr-sqrt` `*-un-lft-identity`
21×	`times-frac`
17×	`add-cube-cbrt`
16×	`cbrt-undiv`
14×	`rec-exp` `1-exp`
6×	`associate-*l/` `difference-of-squares`
4×	`insert-posit16` `add-log-exp`
3×	`associate-r` `-commutative` `associate-/l` `distribute-lft-out--`
2×	`frac-times` `flip3-+` `associate-/r/` `flip-+` `div-inv`
1×	`clear-num` `associate-/r` `frac-2neg` `flip3--` `associate-r/` `flip--`

Counts

4 → 205

Calls

4 calls:

Slowest

659.0ms	(* (+ (* v -2) 3) (* (/ 1 (- 1 v)) (* (* (* w r) 0.125) (* w r))))
193.0ms	(* (/ 1 (- 1 v)) (* (* (* w r) 0.125) (* w r)))
101.0ms	(* (* (* w r) 0.125) (* w r))
13.0ms	(/ 2 (* r r))

series257.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

102.0ms	(* (+ (* v -2) 3) (* (/ 1 (- 1 v)) (* (* (* w r) 0.125) (* w r))))
72.0ms	(* (/ 1 (- 1 v)) (* (* (* w r) 0.125) (* w r)))
43.0ms	(* (* (* w r) 0.125) (* w r))
40.0ms	(/ 2 (* r r))

simplify49.8s

Counts

178 → 217

Calls

178 calls:

Slowest

1.2s	(* (* (* (+ (* v -2) 3) (+ (* v -2) 3)) (+ (* v -2) 3)) (* (/ (* (* 1 1) 1) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* (* w w) w) (* (* r r) r)) (* (* 0.125 0.125) 0.125)) (* (* (* w w) w) (* (* r r) r)))))
1.1s	(* (* (* (+ (* v -2) 3) (+ (* v -2) 3)) (+ (* v -2) 3)) (* (/ (* (* 1 1) 1) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* (* w r) (* w r)) (* w r)) (* (* 0.125 0.125) 0.125)) (* (* (* w r) (* w r)) (* w r)))))
1.1s	(* (/ (* (* 1 1) 1) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* (* w r) 0.125) (* (* w r) 0.125)) (* (* w r) 0.125)) (* (* (* w w) w) (* (* r r) r))))
1.1s	(* (* (* (+ (* v -2) 3) (+ (* v -2) 3)) (+ (* v -2) 3)) (* (* (* (/ 1 (- 1 v)) (/ 1 (- 1 v))) (/ 1 (- 1 v))) (* (* (* (* (* w r) (* w r)) (* w r)) (* (* 0.125 0.125) 0.125)) (* (* (* w r) (* w r)) (* w r)))))
1.0s	(* (* (* (+ (* v -2) 3) (+ (* v -2) 3)) (+ (* v -2) 3)) (* (/ (* (* 1 1) 1) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* (* w r) 0.125) (* w r)) (* (* (* w r) 0.125) (* w r))) (* (* (* w r) 0.125) (* w r)))))

prune3.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (* w r) (* w r))
0.3b	(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
0.3b	(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
0.2b	(/ (- 1 v) (- 3 (* 2 v)))

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

330×	`times-frac`
174×	`add-sqr-sqrt` `*-un-lft-identity`
112×	`add-cbrt-cube` `add-exp-log`
108×	`add-cube-cbrt`
44×	`difference-of-squares`
43×	`pow1`
42×	`cbrt-undiv` `div-exp`
40×	`prod-exp` `cbrt-unprod`
33×	`associate-/l*`
32×	`associate-/r*`
22×	`distribute-lft-out--`
17×	`pow-prod-down`
15×	`associate-/r/`
13×	`div-inv`
8×	`flip3--` `flip--`
4×	`pow-sqr` `pow-prod-up` `insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `div-sub` `associate-/l/`
2×	`pow-plus`
1×	`pow2` `swap-sqr` `associate-r` `associate-l` `*-commutative`

Counts

4 → 311

Calls

4 calls:

Slowest

47.0ms	(* (* w r) (* w r))
43.0ms	(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
41.0ms	(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
14.0ms	(/ (- 1 v) (- 3 (* 2 v)))

series233.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

84.0ms	(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
75.0ms	(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
43.0ms	(* (* w r) (* w r))
30.0ms	(/ (- 1 v) (- 3 (* 2 v)))

simplify1.6m

Counts

409 → 323

Calls

409 calls:

Slowest

1.5s	(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.4s	(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))))
1.4s	(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s	(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s	(/ (* (* 0.125 0.125) 0.125) (* (* (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))) (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))) (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))))

prune4.3s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes189.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample3.2s

Algorithm

intervals

Results

2.9s

17015×

body

valid