Details

Time bar (total: 5.3s)

sample16.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify27.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
066
176
done76

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize9.0ms

Local error

Found 1 expressions with local error:

1.0b
(/ 1.0 (sqrt (* 0.5 16.0)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
12×times-frac
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
associate-/r* sqrt-prod
add-cbrt-cube add-exp-log associate-/l*
pow1 cbrt-undiv clear-num frac-2neg div-exp div-inv add-log-exp
Counts
1 → 31
Calls
1 calls:
17.0ms
(/ 1.0 (sqrt (* 0.5 16.0)))

series0.0ms

Counts
1 → 1
Calls
1 calls:
0.0ms
(/ 1.0 (sqrt (* 0.5 16.0)))

simplify2.3s

Counts
32 → 32
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
061351
1101336
2294318
31378318
done5001318

prune99.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

1.0b
(/ 1.0 (sqrt (* 0.5 16.0)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
12×times-frac
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
associate-/r* sqrt-prod
add-cbrt-cube add-exp-log associate-/l*
pow1 cbrt-undiv clear-num frac-2neg div-exp div-inv add-log-exp
Counts
1 → 31
Calls
1 calls:
15.0ms
(/ 1.0 (sqrt (* 0.5 16.0)))

series0.0ms

Counts
1 → 1
Calls
1 calls:
0.0ms
(/ 1.0 (sqrt (* 0.5 16.0)))

simplify2.3s

Counts
32 → 32
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
061352
1101337
2294319
31378319
done5001319

prune140.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
198
done98

end0.0ms

sample407.0ms

Algorithm
intervals
Results
333.0ms8000×body80valid