Details

Time bar (total: 25.4s)

sample79.0ms

Algorithm
intervals
Results
32.0ms286×body80nan
31.0ms256×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
62626
51588
4587
3187
289
134
016

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
162×times-frac
97×add-sqr-sqrt
95×*-un-lft-identity add-cube-cbrt
48×sqrt-prod
21×add-cbrt-cube add-exp-log
18×associate-/r/ associate-/l*
14×pow1
9×associate-/r* flip3-- div-inv flip--
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×cbrt-undiv div-exp insert-posit16 add-log-exp
2×clear-num frac-2neg sqrt-div associate-*r* *-commutative unswap-sqr
1×associate-/l/
Counts
4 → 199
Calls
4 calls:
20.0ms
(/ (/ 4/3 (- PI (* PI (* v v)))) (sqrt (- 2 (* 6 (* v v)))))
27.0ms
(* 6 (* v v))
27.0ms
(* PI (* v v))
15.0ms
(/ 4/3 (- PI (* PI (* v v))))

series647.0ms

Counts
4 → 12
Calls
4 calls:
482.0ms
(/ (/ 4/3 (- PI (* PI (* v v)))) (sqrt (- 2 (* 6 (* v v)))))
46.0ms
(* 6 (* v v))
28.0ms
(* PI (* v v))
90.0ms
(/ 4/3 (- PI (* PI (* v v))))

simplify1.0s

Counts
211 → 211
Iterations
IterNodes
22888
1945
0386

prune1.9s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
1092×times-frac
470×add-sqr-sqrt
468×*-un-lft-identity add-cube-cbrt
183×sqrt-prod
91×associate-/r/
75×difference-of-squares
46×div-inv
28×add-cbrt-cube add-exp-log
27×associate-/r*
26×flip3-- flip--
24×associate-/l*
20×flip3-+ flip-+
14×pow1
9×cbrt-undiv div-exp
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×insert-posit16 add-log-exp
3×associate-/l/
2×clear-num frac-2neg sqrt-div associate-*r* *-commutative unswap-sqr
Counts
4 → 579
Calls
4 calls:
13.0ms
(* PI (* v v))
13.0ms
(* PI (* v v))
44.0ms
(/ (/ 4/3 (- (* PI PI) (* (* PI (* v v)) (* PI (* v v))))) (/ (sqrt (- 2 (* 6 (* v v)))) (+ PI (* PI (* v v)))))
11.0ms
(/ (sqrt (- 2 (* 6 (* v v)))) (+ PI (* PI (* v v))))

series856.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* PI (* v v))
30.0ms
(* PI (* v v))
535.0ms
(/ (/ 4/3 (- (* PI PI) (* (* PI (* v v)) (* PI (* v v))))) (/ (sqrt (- 2 (* 6 (* v v)))) (+ PI (* PI (* v v)))))
242.0ms
(/ (sqrt (- 2 (* 6 (* v v)))) (+ PI (* PI (* v v))))

simplify2.3s

Counts
591 → 591
Iterations
IterNodes
13275
01003

prune7.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* PI (* v v)) (* PI (* v v)))
0.2b
(* PI (* v v))
0.2b
(* PI (* v v))
0.2b
(* PI (* v v))

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
133×pow1
75×pow-prod-down
55×add-cbrt-cube add-exp-log
36×prod-exp cbrt-unprod
10×add-sqr-sqrt associate-*l*
9×pow-sqr pow-prod-up
7×*-un-lft-identity add-cube-cbrt
4×associate-*r* *-commutative insert-posit16 add-log-exp
3×pow-plus unswap-sqr
1×pow2 swap-sqr
Counts
4 → 121
Calls
4 calls:
88.0ms
(* (* PI (* v v)) (* PI (* v v)))
25.0ms
(* PI (* v v))
32.0ms
(* PI (* v v))
27.0ms
(* PI (* v v))

series192.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (* PI (* v v)) (* PI (* v v)))
42.0ms
(* PI (* v v))
49.0ms
(* PI (* v v))
31.0ms
(* PI (* v v))

simplify3.1s

Counts
133 → 133
Iterations
IterNodes
35082
2750
1173
070

prune1.6s

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
220
120
017

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s8000×body80valid
1.1s7868×body80nan