Details

Time bar (total: 33.3s)

sample76.0ms

Algorithm
intervals
Results
31.0ms256×body80valid
31.0ms283×body80nan

simplify247.0ms

Calls
1 calls:
Slowest
247.0ms
(/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
26×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×sqrt-prod
18×associate-/r/
9×associate-/r* div-inv
8×flip3-- flip--
6×add-cbrt-cube add-exp-log associate-/l*
4×pow1 insert-posit16 add-log-exp
2×clear-num frac-2neg sqrt-div associate-*l* *-commutative
1×cbrt-undiv flip3-+ div-exp flip-+ associate-/l/
Calls
4 calls:
Slowest
5.0ms
(/ (/ 4/3 (- PI (* (* v v) PI))) (sqrt (+ 2 (* (* v -6) v))))
3.0ms
(* (* v v) PI)
2.0ms
(* (* v -6) v)
1.0ms
(/ 4/3 (- PI (* (* v v) PI)))

series336.0ms

Calls
4 calls:
Slowest
203.0ms
(/ (/ 4/3 (- PI (* (* v v) PI))) (sqrt (+ 2 (* (* v -6) v))))
79.0ms
(/ 4/3 (- PI (* (* v v) PI)))
35.0ms
(* (* v v) PI)
19.0ms
(* (* v -6) v)

simplify17.4s

Calls
103 calls:
Slowest
768.0ms
(/ (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))) (sqrt (sqrt (+ 2 (* (* v -6) v)))))
634.0ms
(/ (* (* (/ 4/3 (- PI (* (* v v) PI))) (/ 4/3 (- PI (* (* v v) PI)))) (/ 4/3 (- PI (* (* v v) PI)))) (* (* (sqrt (+ 2 (* (* v -6) v))) (sqrt (+ 2 (* (* v -6) v)))) (sqrt (+ 2 (* (* v -6) v)))))
565.0ms
(/ (/ 4/3 (- (pow PI 3) (pow (* (* v v) PI) 3))) (sqrt (sqrt (+ 2 (* (* v -6) v)))))
528.0ms
(/ (/ 4/3 (- (pow PI 3) (pow (* (* v v) PI) 3))) (sqrt (sqrt (+ 2 (* (* v -6) v)))))
505.0ms
(/ (/ 4/3 (- (pow PI 3) (pow (* (* v v) PI) 3))) (sqrt 1))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (cbrt (/ 4/3 (- PI (* (* v v) PI)))) (cbrt (/ 4/3 (- PI (* (* v v) PI)))))
1.0b
(cbrt (/ 4/3 (- PI (* (* v v) PI))))
1.0b
(cbrt (/ 4/3 (- PI (* (* v v) PI))))
1.0b
(cbrt (/ 4/3 (- PI (* (* v v) PI))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
10×associate-/r/
9×pow1 associate-*r* associate-*l*
7×cbrt-div pow1/3
6×add-exp-log
5×flip3-- div-inv flip--
4×add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Calls
4 calls:
Slowest
7.0ms
(* (cbrt (/ 4/3 (- PI (* (* v v) PI)))) (cbrt (/ 4/3 (- PI (* (* v v) PI)))))
1.0ms
(cbrt (/ 4/3 (- PI (* (* v v) PI))))
1.0ms
(cbrt (/ 4/3 (- PI (* (* v v) PI))))
1.0ms
(cbrt (/ 4/3 (- PI (* (* v v) PI))))

series1.1s

Calls
4 calls:
Slowest
336.0ms
(* (cbrt (/ 4/3 (- PI (* (* v v) PI)))) (cbrt (/ 4/3 (- PI (* (* v v) PI)))))
276.0ms
(cbrt (/ 4/3 (- PI (* (* v v) PI))))
245.0ms
(cbrt (/ 4/3 (- PI (* (* v v) PI))))
234.0ms
(cbrt (/ 4/3 (- PI (* (* v v) PI))))

simplify9.0s

Calls
63 calls:
Slowest
478.0ms
(cbrt (/ 4/3 (- (pow PI 3) (pow (* (* v v) PI) 3))))
478.0ms
(* (/ 4/3 (- PI (* (* v v) PI))) (/ 4/3 (- PI (* (* v v) PI))))
452.0ms
(* (/ 4/3 (- PI (* (* v v) PI))) (/ 4/3 (- PI (* (* v v) PI))))
411.0ms
(cbrt (/ 4/3 (- (pow PI 3) (pow (* (* v v) PI) 3))))
407.0ms
(+ (* 1/3 (/ (* (cbrt 4/3) (exp (* 1/3 (+ (log (/ -1 PI)) (* 2 (log (/ 1 v))))))) (pow v 2))) (+ (* (cbrt 4/3) (exp (* 1/3 (+ (log (/ -1 PI)) (* 2 (log (/ 1 v))))))) (* 2/9 (/ (* (cbrt 4/3) (exp (* 1/3 (+ (log (/ -1 PI)) (* 2 (log (/ 1 v))))))) (pow v 4)))))

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes41.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.5s8030×body80nan
1.1s8000×body80valid