Details

sample209.0ms

Algorithm

intervals

Results

146.0ms

534×

body

valid

simplify265.0ms

Calls

1 calls:

Slowest

264.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize49.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 2 (* r r))
0.3b	(* (* w r) (* w r))
0.3b	(* (* (* w r) (* w r)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
0.0b	(- (+ 3 (/ 2 (* r r))) 4.5)

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-cbrt-cube` `add-exp-log`
14×	`pow1`
10×	`associate-r`
7×	`prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow-prod-down` `insert-posit16` `add-log-exp`
3×	`times-frac`
2×	`cbrt-undiv` `flip3--` `div-exp` `associate-l` `associate-/r/` `*-commutative` `div-inv` `flip--`
1×	`pow2` `clear-num` `associate-/r` `sub-neg` `frac-2neg` `pow-plus` `associate--l+` `associate-r/` `pow-prod-up`

Calls

4 calls:

Slowest

28.0ms	(* (* (* w r) (* w r)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
13.0ms	(- (+ 3 (/ 2 (* r r))) 4.5)
8.0ms	(* (* w r) (* w r))
3.0ms	(/ 2 (* r r))

series204.0ms

Calls

4 calls:

Slowest

93.0ms	(* (* (* w r) (* w r)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
42.0ms	(/ 2 (* r r))
39.0ms	(- (+ 3 (/ 2 (* r r))) 4.5)
30.0ms	(* (* w r) (* w r))

simplify7.2s

Calls

39 calls:

Slowest

857.0ms	(* (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r))) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))))
836.0ms	(* (* (* (* (* w r) (* w r)) (* (* w r) (* w r))) (* (* w r) (* w r))) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))))
550.0ms	(* (* (* w r) (* w r)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
528.0ms	(* (* (* w r) (* w r)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
466.0ms	(* (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r))) (* (* (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))

prune1.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 2 (* r r))
0.3b	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
0.1b	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
0.0b	(- (+ 3 (/ 2 (* r r))) 4.5)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-cbrt-cube` `add-exp-log`
11×	`pow1`
10×	`associate-r`
7×	`prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow-prod-down` `insert-posit16` `add-log-exp`
3×	`times-frac` `associate-*r/`
2×	`cbrt-undiv` `flip3--` `div-exp` `associate-l` `associate-/r/` `*-commutative` `div-inv` `flip--`
1×	`clear-num` `associate-/r*` `sub-neg` `frac-2neg` `associate--l+`

Calls

4 calls:

Slowest

14.0ms	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
12.0ms	(- (+ 3 (/ 2 (* r r))) 4.5)
11.0ms	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
0.0ms	(/ 2 (* r r))

series147.0ms

Calls

4 calls:

Slowest

56.0ms	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
56.0ms	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
22.0ms	(- (+ 3 (/ 2 (* r r))) 4.5)
14.0ms	(/ 2 (* r r))

simplify8.4s

Calls

37 calls:

Slowest

1.0s	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (* w r)) (* w r)) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v)))))
876.0ms	(- (* 0.25 (* (pow r 2) (pow w 2))) (+ (* 0.125 (/ (* (pow r 2) (pow w 2)) v)) (* 0.125 (/ (* (pow r 2) (pow w 2)) (pow v 2)))))
598.0ms	(* (* (* (* w r) (* w r)) (* w r)) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))))
565.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))))
534.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (* w r)) (* w r)) (* (* (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))))

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-cbrt-cube` `add-exp-log`
11×	`pow1`
10×	`associate-r`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac`
4×	`associate-/r*` `pow-prod-down` `associate-/r/` `insert-posit16` `add-log-exp`
3×	`cbrt-undiv` `flip3--` `div-exp` `associate-*r/` `div-inv` `flip--`
2×	`clear-num` `frac-2neg` `associate-l` `associate-l/` `-commutative` `associate-/l/`
1×	`associate-/l*`

Calls

4 calls:

Slowest

17.0ms	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
15.0ms	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
11.0ms	(/ (* (- 3 (* 2 v)) 0.125) (- 1 v))
0.0ms	(/ 2 (* r r))

series225.0ms

Calls

4 calls:

Slowest

91.0ms	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
89.0ms	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
26.0ms	(/ (* (- 3 (* 2 v)) 0.125) (- 1 v))
19.0ms	(/ 2 (* r r))

simplify9.2s

Calls

53 calls:

Slowest

885.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (* w r)) (* w r)) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v)))))
595.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))))
564.0ms	(* (* (* (* w r) (* w r)) (* w r)) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))))
512.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (* w r)) (* w r)) (* (* (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))))
453.0ms	(- (* 0.25 (* (pow r 2) (pow w 2))) (+ (* 0.125 (/ (* (pow r 2) (pow w 2)) v)) (* 0.125 (/ (* (pow r 2) (pow w 2)) (pow v 2)))))

prune1.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
0.2b	(/ (/ 2 r) r)
0.1b	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
0.0b	(- (/ (/ 2 r) r) 1.5)

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-cbrt-cube` `add-exp-log`
11×	`pow1`
10×	`associate-r`
7×	`add-sqr-sqrt` `*-un-lft-identity` `prod-exp` `add-cube-cbrt` `cbrt-unprod`
4×	`pow-prod-down` `insert-posit16` `associate-/l*` `add-log-exp`
3×	`times-frac` `associate-*r/` `div-inv`
2×	`cbrt-undiv` `flip3--` `div-exp` `associate-l` `associate-/r/` `*-commutative` `flip--`
1×	`clear-num` `sub-neg` `frac-2neg` `associate-/l/`

Calls

4 calls:

Slowest

29.0ms	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
13.0ms	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
10.0ms	(- (/ (/ 2 r) r) 1.5)
6.0ms	(/ (/ 2 r) r)

series202.0ms

Calls

4 calls:

Slowest

86.0ms	(* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))
65.0ms	(* (* w r) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))))
35.0ms	(- (/ (/ 2 r) r) 1.5)
16.0ms	(/ (/ 2 r) r)

simplify7.7s

Calls

39 calls:

Slowest

897.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (* w r)) (* w r)) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v)))))
655.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))) (* (* w r) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))))
543.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* (* w r) (* w r)) (* w r)) (* (* (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v))) (/ (* (- 3 (* 2 v)) 0.125) (- 1 v)))))
508.0ms	(- (* 0.25 (* (pow r 2) (pow w 2))) (+ (* 0.125 (/ (* (pow r 2) (pow w 2)) v)) (* 0.125 (/ (* (pow r 2) (pow w 2)) (pow v 2)))))
504.0ms	(* (* (* (* w r) (* w r)) (* w r)) (/ (* (* (* (- 3 (* 2 v)) 0.125) (* (- 3 (* 2 v)) 0.125)) (* (- 3 (* 2 v)) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))))

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes236.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample5.4s

Algorithm

intervals

Results

5.0s

17334×

body

valid