Details

Time bar (total: 32.3s)

sample95.0ms

Algorithm
intervals
Results
39.0ms256×body80valid
38.0ms260×body80nan

simplify231.0ms

Calls
1 calls:
Slowest
231.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

localize26.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
(- PI (* (* v v) PI))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×associate-/r*
2×flip3-- associate-*l* associate-/r/ *-commutative flip--
1×clear-num sub-neg frac-2neg div-inv
Calls
4 calls:
Slowest
3.0ms
(* (* v v) PI)
3.0ms
(* (* v -6) v)
1.0ms
(- PI (* (* v v) PI))
1.0ms
(/ 4/3 (- PI (* (* v v) PI)))

series244.0ms

Calls
4 calls:
Slowest
100.0ms
(/ 4/3 (- PI (* (* v v) PI)))
73.0ms
(- PI (* (* v v) PI))
42.0ms
(* (* v -6) v)
29.0ms
(* (* v v) PI)

simplify1.3s

Calls
17 calls:
Slowest
296.0ms
(+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))
216.0ms
(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
180.0ms
(+ (* 4/3 (/ (pow v 2) PI)) (+ (* 4/3 (/ 1 PI)) (* 4/3 (/ (pow v 4) PI))))
163.0ms
(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
79.0ms
(sqrt (- PI (* (* v v) PI)))

prune562.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow PI 3)
1.0b
(/ 4/3 (/ (- (pow PI 3) (pow (* (* v v) PI) 3)) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))))
1.0b
(/ (- (pow PI 3) (pow (* (* v v) PI) 3)) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))))
0.2b
(* (* v v) PI)

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
48×times-frac
43×add-sqr-sqrt
33×associate-/r*
29×add-cube-cbrt
14×distribute-rgt-out--
8×associate-/l*
7×difference-cubes unpow-prod-down cube-prod distribute-lft-out-- difference-of-squares
6×add-cbrt-cube add-exp-log
5×associate-/r/
4×pow1 insert-posit16 add-log-exp
3×div-inv
2×clear-num frac-2neg flip3-+ flip-+ associate-/l/
1×cube-mult pow-to-exp cbrt-undiv flip3-- unpow3 div-sub div-exp associate-*l* *-commutative flip--
Calls
4 calls:
Slowest
68.0ms
(/ (- (pow PI 3) (pow (* (* v v) PI) 3)) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))))
17.0ms
(/ 4/3 (/ (- (pow PI 3) (pow (* (* v v) PI) 3)) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))))
3.0ms
(* (* v v) PI)
0.0ms
(pow PI 3)

series779.0ms

Calls
4 calls:
Slowest
489.0ms
(/ (- (pow PI 3) (pow (* (* v v) PI) 3)) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))))
262.0ms
(/ 4/3 (/ (- (pow PI 3) (pow (* (* v v) PI) 3)) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))))
27.0ms
(* (* v v) PI)
0.0ms
(pow PI 3)

simplify24.3s

Calls
104 calls:
Slowest
728.0ms
(/ (* (* (- (pow PI 3) (pow (* (* v v) PI) 3)) (- (pow PI 3) (pow (* (* v v) PI) 3))) (- (pow PI 3) (pow (* (* v v) PI) 3))) (* (* (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))))
502.0ms
(/ (- PI (* (* v v) PI)) (sqrt (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))))
493.0ms
(/ (+ (sqrt (pow PI 3)) (sqrt (pow (* (* v v) PI) 3))) 1)
416.0ms
(/ 1 (sqrt (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI))))))
416.0ms
(/ (* (cbrt (- (pow PI 3) (pow (* (* v v) PI) 3))) (cbrt (- (pow PI 3) (pow (* (* v v) PI) 3)))) 1)

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes20.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.6s8000×body80valid
1.1s8025×body80nan