Details

Time bar (total: 343.0ms)

sample56.0ms

Algorithm
intervals
Results
18.0ms294×body80nan
12.0ms282×body80valid

simplify7.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08164
112164
done12164

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.6b

localize28.0ms

Local error

Found 3 expressions with local error:

0.4b
(* c0 (sqrt (/ A (* V l))))
4.9b
(/ A (* V l))
13.2b
(sqrt (/ A (* V l)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
15×sqrt-prod
11×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube associate-*r* add-exp-log
9×times-frac
6×pow1
3×associate-*l* div-inv associate-/l* add-log-exp
2×cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod unswap-sqr
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 pow-prod-down associate-*r/ *-commutative
Counts
3 → 66
Calls
3 calls:
27.0ms
(* c0 (sqrt (/ A (* V l))))
8.0ms
(/ A (* V l))
10.0ms
(sqrt (/ A (* V l)))

series142.0ms

Counts
3 → 9
Calls
3 calls:
74.0ms
(* c0 (sqrt (/ A (* V l))))
22.0ms
(/ A (* V l))
46.0ms
(sqrt (/ A (* V l)))

simplify52.0ms

Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
010513279