Details

Time bar (total: 22.6s)

sample119.0ms

Algorithm
intervals
Results
53.0ms229×body80nan
43.0ms256×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done2313
52313
41116
3244
289
134
016

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(- PI (* (* v v) PI))
0.1b
(* v (* v 6))
0.1b
(* (* v v) PI)
1.0b
(/ 4/3 (- PI (* (* v v) PI)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
16×add-sqr-sqrt add-cbrt-cube add-exp-log
15×add-cube-cbrt
14×pow1
12×times-frac
6×pow-prod-down prod-exp cbrt-unprod add-log-exp
5×distribute-rgt-out--
4×associate-/r* associate-*r* associate-*l* insert-posit16
3×associate-/l*
2×flip3-- associate-/r/ *-commutative flip--
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp div-inv unswap-sqr
Counts
4 → 87
Calls
4 calls:
4.0ms
(- PI (* (* v v) PI))
26.0ms
(* v (* v 6))
34.0ms
(* (* v v) PI)
13.0ms
(/ 4/3 (- PI (* (* v v) PI)))

series342.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(- PI (* (* v v) PI))
63.0ms
(* v (* v 6))
55.0ms
(* (* v v) PI)
125.0ms
(/ 4/3 (- PI (* (* v v) PI)))

simplify1.6s

Counts
99 → 99
Iterations
IterNodes
done2002
32002
21305
1413
0161

prune465.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite6.7s

Algorithm
rewrite-expression-head
Rules
39×pow1
28×add-cbrt-cube add-exp-log
23×add-sqr-sqrt associate-*l*
16×*-un-lft-identity add-cube-cbrt
14×prod-exp cbrt-unprod
13×times-frac pow-prod-down
10×associate-*r*
6×pow-plus pow-prod-up
4×*-commutative insert-posit16 add-log-exp unswap-sqr
3×distribute-rgt-out--
2×pow2 frac-times flip3-+ associate-*r/ associate-/r/ pow-sqr flip-+
1×distribute-rgt-in cbrt-undiv distribute-lft-in flip3-- div-exp pow3 associate-*l/ div-inv flip--
Counts
4 → 115
Calls
4 calls:
15.0ms
(* (* v v) PI)
64.0ms
(* PI (* (* v v) PI))
6.6s
(* (/ 4/3 (- (* (* PI PI) PI) (* (* (* (* (* v v) PI) (* (* v v) PI)) (* v v)) PI))) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))))
30.0ms
(* (* PI PI) PI)

series451.0ms

Counts
4 → 10
Calls
4 calls:
53.0ms
(* (* v v) PI)
91.0ms
(* PI (* (* v v) PI))
307.0ms
(* (/ 4/3 (- (* (* PI PI) PI) (* (* (* (* (* v v) PI) (* (* v v) PI)) (* v v)) PI))) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))))
0.0ms
(* (* PI PI) PI)

simplify1.5s

Counts
125 → 125
Iterations
IterNodes
done2002
22002
1758
0213

prune784.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize92.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
38×times-frac
35×*-un-lft-identity add-cube-cbrt
28×associate-*l*
25×add-exp-log
23×add-cbrt-cube
22×cbrt-prod
20×pow1
11×prod-exp cbrt-unprod
10×pow-prod-down
7×associate-*r*
6×associate-/l*
4×associate-/r/ insert-posit16 add-log-exp unswap-sqr
3×associate-/r* *-commutative
2×frac-times cbrt-undiv flip3-+ flip3-- div-exp associate-*r/ flip-+ div-inv flip--
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l/
Counts
4 → 135
Calls
4 calls:
33.0ms
(* (* v v) PI)
43.0ms
(* PI (* (* v v) PI))
1.2s
(* (/ (cbrt 4/3) (- (* PI PI) (* (* (* (* v v) PI) (* (* v v) PI)) (* v v)))) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))))
29.0ms
(/ (cbrt 4/3) (- (* PI PI) (* (* (* (* v v) PI) (* (* v v) PI)) (* v v))))

series1.1s

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (* v v) PI)
73.0ms
(* PI (* (* v v) PI))
341.0ms
(* (/ (cbrt 4/3) (- (* PI PI) (* (* (* (* v v) PI) (* (* v v) PI)) (* v v)))) (+ (* PI PI) (+ (* (* (* v v) PI) (* (* v v) PI)) (* PI (* (* v v) PI)))))
629.0ms
(/ (cbrt 4/3) (- (* PI PI) (* (* (* (* v v) PI) (* (* v v) PI)) (* v v))))

simplify1.7s

Counts
147 → 147
Iterations
IterNodes
done2001
22001
1779
0233

prune1.2s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes47.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
done33
133
023

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.7s8155×body80nan
1.3s8000×body80valid