Details

Time bar (total: 50.9s)

sample89.0ms

Algorithm
intervals
Results
39.0ms256×body80valid
31.0ms249×body80nan

simplify271.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube add-exp-log
12×pow1
9×times-frac
6×associate-*l*
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* sqrt-prod associate-/l*
2×associate-/r/ *-commutative
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 flip3-- pow1/2 div-exp div-inv flip-- unswap-sqr
Counts
4 → 90
Calls
4 calls:
Slowest
13.0ms
(* v (* PI v))
7.0ms
(/ 4/3 (- PI (* v (* PI v))))
5.0ms
(* PI v)
1.0ms
(sqrt (fma (* v -6) v 2))

series245.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
98.0ms
(/ 4/3 (- PI (* v (* PI v))))
90.0ms
(sqrt (fma (* v -6) v 2))
31.0ms
(* v (* PI v))
25.0ms
(* PI v)

simplify5.7s

Counts
61 → 102
Calls
61 calls:
Slowest
579.0ms
(* (* (* v v) v) (* (* (* PI PI) PI) (* (* v v) v)))
480.0ms
(+ (* PI PI) (+ (* (* v (* PI v)) (* v (* PI v))) (* PI (* v (* PI v)))))
385.0ms
(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
338.0ms
(- (* 1/2 (/ 1 (* (pow v 3) (pow (sqrt -6) 3)))) (+ (/ 1 (* v (sqrt -6))) (* v (sqrt -6))))
337.0ms
(+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI))))

prune1.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (- PI (* v (* PI v)))))
1.0b
(cbrt (/ 64/27 (* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (- PI (* v (* PI v)))))))
0.3b
(* PI v)
0.3b
(* PI v)

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
56×frac-times
54×flip3-- flip--
33×cbrt-prod
28×associate-*r/
26×associate-/r/
22×pow1
20×distribute-rgt-in add-sqr-sqrt distribute-lft-in
16×associate-*l/
15×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube add-exp-log
12×prod-diff
9×associate-*l*
7×associate-*r*
5×pow-prod-down prod-exp pow-prod-up cbrt-unprod
4×expm1-log1p-u sub-neg insert-posit16 log1p-expm1-u add-log-exp
3×times-frac *-commutative unswap-sqr
1×pow2 cbrt-div pow-plus pow1/3 cube-unmult pow-sqr div-inv
Counts
4 → 160
Calls
4 calls:
Slowest
61.0ms
(* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (- PI (* v (* PI v)))))
31.0ms
(cbrt (/ 64/27 (* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (- PI (* v (* PI v)))))))
6.0ms
(* PI v)
6.0ms
(* PI v)

series287.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
113.0ms
(cbrt (/ 64/27 (* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (- PI (* v (* PI v)))))))
112.0ms
(* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (- PI (* v (* PI v)))))
39.0ms
(* PI v)
22.0ms
(* PI v)

simplify37.8s

Counts
145 → 172
Calls
145 calls:
Slowest
1.3s
(* (- PI (* v (* PI v))) (* (- (* v (* PI v))) (- PI (* v (* PI v)))))
968.0ms
(* (- PI (* v (* PI v))) (* (- (* v (* PI v))) (- PI (* v (* PI v)))))
847.0ms
(* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (fma (- (* PI v)) v (* (* PI v) v))))
831.0ms
(* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (fma (- (* PI v)) v (* (* PI v) v))))
802.0ms
(* (- PI (* v (* PI v))) (* (- PI (* v (* PI v))) (- (* v (* PI v)))))

prune2.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes21.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.0s

Algorithm
intervals
Results
1.6s7960×body80nan
1.2s8000×body80valid