Details

sample100.0ms

Algorithm

intervals

Results

43.0ms	256×	body	80	valid
37.0ms	233×	body	80	nan

simplify259.0ms

Calls

1 calls:

Slowest

259.0ms

(/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ 4/3 (- PI (* (* v v) PI)))
0.3b	(* (* v v) PI)
0.1b	(* (* v -6) v)
0.0b	(sqrt (+ 2 (* (* v -6) v)))

rewrite165.0ms

Algorithm

rewrite-expression-head

Rules

132×	`add-sqr-sqrt`
78×	`*-un-lft-identity`
48×	`times-frac` `associate-l`
44×	`add-cube-cbrt`
35×	`unswap-sqr`
24×	`associate-r` `difference-of-squares`
16×	`associate-/r*` `add-cbrt-cube` `distribute-rgt-out--` `add-exp-log`
15×	`pow1`
12×	`distribute-lft-out--`
9×	`*-commutative`
8×	`swap-sqr`
6×	`pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
4×	`insert-posit16` `add-log-exp`
3×	`distribute-lft-out` `associate-/l*`
2×	`sqrt-div` `associate-/r/`
1×	`cbrt-undiv` `rem-sqrt-square` `clear-num` `frac-2neg` `sqrt-pow1` `flip3-+` `flip3--` `pow1/2` `div-exp` `flip-+` `div-inv` `flip--`

Calls

4 calls:

Slowest

51.0ms	(sqrt (+ 2 (* (* v -6) v)))
50.0ms	(/ 4/3 (- PI (* (* v v) PI)))
39.0ms	(* (* v v) PI)
20.0ms	(* (* v -6) v)

series277.0ms

Calls

4 calls:

Slowest

108.0ms	(sqrt (+ 2 (* (* v -6) v)))
99.0ms	(/ 4/3 (- PI (* (* v v) PI)))
42.0ms	(* (* v v) PI)
29.0ms	(* (* v -6) v)

simplify11.3s

Calls

189 calls:

Slowest

591.0ms	(* (* (* (* v -6) (* v -6)) (* v -6)) (* (* v v) v))
401.0ms	(sqrt (- (* 2 2) (* (* (* v -6) v) (* (* v -6) v))))
401.0ms	(/ (* (* 4/3 4/3) 4/3) (* (* (- PI (* (* v v) PI)) (- PI (* (* v v) PI))) (- PI (* (* v v) PI))))
366.0ms	(- (* 1/2 (/ 1 (* (pow v 3) (pow (sqrt -6) 3)))) (+ (/ 1 (* v (sqrt -6))) (* v (sqrt -6))))
357.0ms	(+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ 4/3 PI)
0.1b	(* (* v -6) v)
0.0b	(/ (/ 4/3 PI) (- 1 (* v v)))
0.0b	(sqrt (+ 2 (* (* v -6) v)))

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

363×	`add-sqr-sqrt`
348×	`times-frac`
277×	`*-un-lft-identity`
145×	`add-cube-cbrt`
140×	`difference-of-squares`
32×	`associate-l` `unswap-sqr`
30×	`*-commutative`
28×	`swap-sqr` `distribute-lft-out--`
21×	`associate-/r*`
19×	`associate-/l*`
18×	`div-inv`
16×	`add-cbrt-cube` `add-exp-log`
10×	`pow1`
9×	`associate-/l/`
6×	`associate-r` `sqrt-prod`
4×	`cbrt-undiv` `div-exp` `insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out`
2×	`sqrt-div` `associate-/r/`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `flip3--` `pow1/2` `flip-+` `flip--`

Calls

4 calls:

Slowest

35.0ms	(sqrt (+ 2 (* (* v -6) v)))
28.0ms	(/ (/ 4/3 PI) (- 1 (* v v)))
27.0ms	(* (* v -6) v)
4.0ms	(/ 4/3 PI)

series263.0ms

Calls

4 calls:

Slowest

129.0ms	(/ (/ 4/3 PI) (- 1 (* v v)))
80.0ms	(sqrt (+ 2 (* (* v -6) v)))
54.0ms	(* (* v -6) v)
0.0ms	(/ 4/3 PI)

simplify29.4s

Calls

492 calls:

Slowest

559.0ms	(/ (* (* (/ 4/3 PI) (/ 4/3 PI)) (/ 4/3 PI)) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v))))
547.0ms	(* (* (* (* v -6) (* v -6)) (* v -6)) (* (* v v) v))
362.0ms	(sqrt (- (* 2 2) (* (* (* v -6) v) (* (* v -6) v))))
315.0ms	(/ (* (* 4/3 4/3) 4/3) (* (* PI PI) PI))
309.0ms	(/ (/ (* (cbrt 4/3) (cbrt 4/3)) (* (cbrt PI) (cbrt PI))) (* (cbrt (- 1 (* v v))) (cbrt (- 1 (* v v)))))

prune3.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt PI)
1.0b	(sqrt PI)
1.0b	(sqrt PI)
1.0b	(sqrt PI)

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `sqrt-prod`
8×	`pow1` `*-un-lft-identity` `add-cube-cbrt`
4×	`rem-sqrt-square` `sqrt-pow1` `add-cbrt-cube` `pow1/2` `add-exp-log` `insert-posit16` `add-log-exp`

Calls

4 calls:

Slowest

1.0ms	(sqrt PI)
1.0ms	(sqrt PI)
1.0ms	(sqrt PI)
1.0ms	(sqrt PI)

series0.0ms

Calls

4 calls:

Slowest

0.0ms	(sqrt PI)
0.0ms	(sqrt PI)
0.0ms	(sqrt PI)
0.0ms	(sqrt PI)

simplify209.0ms

Calls

20 calls:

Slowest

41.0ms	(- (sqrt PI) (* v (sqrt PI)))
41.0ms	(- (sqrt PI) (* v (sqrt PI)))
38.0ms	(- (sqrt PI) (* v (sqrt PI)))
26.0ms	(- (sqrt PI) (* v (sqrt PI)))
6.0ms	(sqrt (* (cbrt PI) (cbrt PI)))

prune716.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes22.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch2.0ms

end0.0ms

sample3.1s

Algorithm

intervals

Results

1.7s	8000×	body	80	valid
1.2s	8259×	body	80	nan