Details

Time bar (total: 4.1s)

sample190.0ms

Algorithm
intervals
Results
57.0ms96×body1280valid
23.0ms53×body640valid
22.0ms34×body10240exit
15.0ms20×body1280nan
14.0ms172×body80valid
14.0ms159×body80nan
9.0ms29×body320valid
8.0ms19×body640nan
2.0msbody320nan
2.0ms11×body160valid
0.0msbody160nan

simplify3.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11713
23513
38613
424513
573013
6368813
done500013

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.5b

localize23.0ms

Local error

Found 3 expressions with local error:

0.8b
(pow x (/ 1.0 n))
1.0b
(pow (+ x 1.0) (/ 1.0 n))
2.4b
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
76×*-un-lft-identity
73×unpow-prod-down
63×add-sqr-sqrt
56×prod-diff
51×add-cube-cbrt
26×pow-unpow
24×sqr-pow
18×times-frac
10×distribute-lft-out
difference-of-squares
fma-neg
pow1 add-exp-log add-log-exp
expm1-log1p-u add-cbrt-cube log1p-expm1-u distribute-lft-out--
pow-to-exp pow-pow pow-exp div-inv
sub-neg flip3-- diff-log flip--
Counts
3 → 149
Calls
3 calls:
8.0ms
(pow x (/ 1.0 n))
24.0ms
(pow (+ x 1.0) (/ 1.0 n))
116.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series40.0ms