Details

Time bar (total: 4.2s)

sample246.0ms

Algorithm
intervals
Results
125.0ms1302×body80nan
56.0ms408×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02235
15435
217035
366535
4438235
done500035

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.4b

localize31.0ms

Local error

Found 4 expressions with local error:

8.9b
(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
10.6b
(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
12.3b
(pow (/ d h) (/ 1.0 2.0))
12.3b
(pow (/ d l) (/ 1.0 2.0))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
205×add-exp-log
107×prod-exp
55×div-exp
45×times-frac
42×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
40×pow-exp
30×add-cbrt-cube
26×unpow-prod-down pow-unpow
16×associate-*r*
14×pow-to-exp
13×cbrt-unprod
10×pow1
6×prod-diff
5×cbrt-undiv distribute-rgt-in distribute-lft-in div-inv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r/ associate-*l/
2×sub-neg pow-pow associate-*l* pow-prod-down *-commutative sqr-pow
1×frac-times flip3-- flip--
Counts
4 → 190
Calls
4 calls:
36.0ms
(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
27.0ms
(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
5.0ms
(pow (/ d h) (/ 1.0 2.0))
5.0ms
(pow (/ d l) (/ 1.0 2.0))

series1.5s

Counts
4 → 12
Calls
4 calls:
628.0ms
(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))))
725.0ms
(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
64.0ms
(pow (/ d h) (/ 1.0 2.0))
66.0ms
(pow (/ d l) (/ 1.0 2.0))

simplify424.0ms

Iterations

Useful iterations: 1 (110.0ms)

IterNodesCost
04635058
113014644