Details

Time bar (total: 4.2s)

sample265.0ms

Algorithm
intervals
Results
140.0ms1302×body80nan
58.0ms408×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02235
15435
217035
365535
4429135
done500035

prune4.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))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
205×add-exp-log
107×prod-exp
55×div-exp
45×times-frac
40×add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow-exp
30×add-cbrt-cube
26×unpow-prod-down pow-unpow
16×associate-*r*
14×pow-to-exp
13×cbrt-unprod
10×pow1
5×cbrt-undiv div-inv
4×add-log-exp
3×associate-*r/ associate-*l/
2×distribute-rgt-in sub-neg pow-pow distribute-lft-in associate-*l* pow-prod-down *-commutative sqr-pow
1×frac-times flip3-- flip--
Counts
4 → 176
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))))
24.0ms
(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
9.0ms
(pow (/ d h) (/ 1.0 2.0))
5.0ms
(pow (/ d l) (/ 1.0 2.0))

series1.7s

Counts
4 → 12
Calls
4 calls:
630.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))))
730.0ms
(* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l))
261.0ms
(pow (/ d h) (/ 1.0 2.0))
68.0ms
(pow (/ d l) (/ 1.0 2.0))

simplify390.0ms

Iterations

Useful iterations: 1 (108.0ms)

IterNodesCost
04404376
112403962