Details

Time bar (total: 34.3s)

sample78.0ms

Algorithm
intervals
Results
31.0ms279×body80nan
27.0ms286×body80valid

simplify18.0ms

Calls
1 calls:
Slowest
18.0ms
(* c0 (sqrt (/ A (* V l))))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.9b

localize19.0ms

Local error

Found 3 expressions with local error:

18.6b
(sqrt (/ A (* V l)))
5.9b
(/ A (* V l))
1.7b
(* c0 (sqrt (/ A (* V l))))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
123×add-sqr-sqrt
112×times-frac
83×sqrt-prod
82×*-un-lft-identity add-cube-cbrt
79×associate-*r*
39×associate-*l*
36×associate-/r* sqrt-div
18×associate-*r/ unswap-sqr
13×*-commutative
10×add-cbrt-cube add-exp-log
9×associate-/l*
6×pow1
3×expm1-log1p-u rem-sqrt-square clear-num frac-2neg insert-posit16 log1p-expm1-u div-inv add-log-exp
2×cbrt-undiv div-exp prod-exp cbrt-unprod
1×sqrt-pow1 pow1/2 pow-prod-down
Calls
3 calls:
Slowest
30.0ms
(* c0 (sqrt (/ A (* V l))))
23.0ms
(sqrt (/ A (* V l)))
16.0ms
(/ A (* V l))

series167.0ms

Calls
3 calls:
Slowest
83.0ms
(* c0 (sqrt (/ A (* V l))))
49.0ms
(sqrt (/ A (* V l)))
35.0ms
(/ A (* V l))

simplify4.2s

Calls
232 calls:
Slowest
238.0ms
(* (* (* c0 c0) c0) (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))))
142.0ms
(/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
131.0ms
(sqrt (/ (* (cbrt A) (cbrt A)) (* V (* (cbrt l) (cbrt l)))))
130.0ms
(/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
120.0ms
(/ (* (cbrt A) (cbrt A)) (* V (* (cbrt l) (cbrt l))))

prune2.6s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 2.3b

localize47.0ms

Local error

Found 4 expressions with local error:

7.2b
(sqrt (/ (cbrt A) (* (cbrt V) l)))
1.9b
(/ (cbrt A) (* (cbrt V) l))
1.7b
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l)))))
0.6b
(cbrt A)

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
360×add-sqr-sqrt
306×times-frac
285×associate-*r*
255×cbrt-prod
214×sqrt-prod
197×*-un-lft-identity add-cube-cbrt
132×associate-*l*
79×unswap-sqr
50×sqrt-div associate-*r/
48×associate-/r*
23×*-commutative
20×add-cbrt-cube
18×associate-/l*
14×add-exp-log
10×pow1
7×rem-sqrt-square cbrt-unprod
6×cbrt-undiv
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg pow-prod-down div-inv
2×div-exp
1×sqrt-pow1 pow1/2 pow1/3
Calls
4 calls:
Slowest
179.0ms
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l)))))
27.0ms
(sqrt (/ (cbrt A) (* (cbrt V) l)))
12.0ms
(/ (cbrt A) (* (cbrt V) l))
1.0ms
(cbrt A)

series896.0ms

Calls
4 calls:
Slowest
278.0ms
(cbrt A)
270.0ms
(sqrt (/ (cbrt A) (* (cbrt V) l)))
212.0ms
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l)))))
137.0ms
(/ (cbrt A) (* (cbrt V) l))

simplify14.8s

Calls
537 calls:
Slowest
659.0ms
(* (* (* c0 c0) c0) (* (* (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l)))) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l))))) (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l))))))
587.0ms
(/ (* (* (cbrt A) (cbrt A)) (cbrt A)) (* V (* (* l l) l)))
405.0ms
(/ (exp (* 1/3 (- (log (/ -1 V)) (log (/ -1 A))))) l)
267.0ms
(/ A (* (* (* (cbrt V) (cbrt V)) (cbrt V)) (* (* l l) l)))
265.0ms
(/ (exp (* 1/3 (- (log A) (log V)))) l)

prune7.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.4b

localize84.0ms

Local error

Found 4 expressions with local error:

2.4b
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))
2.0b
(* (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt V) (cbrt V))))))) (sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))))
0.9b
(/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))
0.6b
(cbrt A)

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
15075×add-sqr-sqrt
14676×cbrt-prod
7641×unswap-sqr
4300×times-frac
4240×sqrt-prod
4190×associate-*r/
4159×sqrt-div
3146×associate-*r*
2727×associate-*l*
2310×associate-/r*
2117×*-un-lft-identity add-cube-cbrt
2016×frac-times
1584×associate-/l*
1396×swap-sqr
542×*-commutative
99×clear-num frac-2neg
63×associate-*l/
24×add-cbrt-cube
18×add-exp-log
14×pow1
13×rem-sqrt-square
10×cbrt-unprod
7×prod-exp
6×cbrt-undiv pow-prod-down
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
2×div-exp
1×sqrt-pow1 pow1/2 pow1/3
Calls
4 calls:
Slowest
1.7s
(* (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt V) (cbrt V))))))) (sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))))
24.0ms
(/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))
17.0ms
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))
1.0ms
(cbrt A)

series921.0ms

Calls
4 calls:
Slowest
288.0ms
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))
269.0ms
(* (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt V) (cbrt V))))))) (sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))))
244.0ms
(cbrt A)
120.0ms
(/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))