Details

Time bar (total: 599.0ms)

sample48.0ms

Algorithm
intervals
Results
10.0ms201×body80valid
7.0ms23×body2560valid
5.0ms256×pre80true
4.0ms18×body1280valid
1.0ms7×body640valid
1.0ms3×body5120valid
1.0ms4×body320valid

simplify49.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
014365
127365
234365
338365
440365
done40365

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.1b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
0.1b
(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
18.4b
(sqrt (+ (* (* 4.0 p) p) (* x x)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
20×add-sqr-sqrt
19×add-cube-cbrt
18×times-frac
15×sqrt-prod
6×associate-/r*
5×add-cbrt-cube add-exp-log add-log-exp
4×pow1 sqrt-div
3×flip3-+ flip-+ associate-/l*
2×associate-/r/
1×cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log frac-2neg sqrt-pow1 pow1/2 div-exp div-inv distribute-lft-out
Counts
3 → 68
Calls
3 calls:
30.0ms
(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
79.0ms
(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
28.0ms
(sqrt (+ (* (* 4.0 p) p) (* x x)))

series265.0ms

Counts
3 → 9
Calls
3 calls:
83.0ms
(/ x (sqrt (+ (* (* 4.0 p) p) (* x x))))
105.0ms
(+ 1.0 (/ x (sqrt (+ (* (* 4.0 p) p) (* x x)))))
76.0ms
(sqrt (+ (* (* 4.0 p) p) (* x x)))

simplify73.0ms

Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
011627971