Details

Time bar (total: 11.4s)

sample43.0ms

Algorithm
intervals
Results
22.0ms419×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5000
4789
3149
242
116
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (/ (pow x 2.0) (pow x 6.0)) x)
32.8b
(/ (pow x 2.0) (pow x 6.0))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
404×times-frac
216×unpow-prod-down
204×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
72×sqr-pow
60×associate-/l*
37×add-exp-log
28×div-exp
12×pow-to-exp pow-exp
10×associate-/r*
add-cbrt-cube
div-inv
cbrt-undiv
pow1 pow-div
clear-num frac-2neg add-log-exp
associate-/l/
Counts
2 → 323
Calls
2 calls:
51.0ms
(/ (/ (pow x 2.0) (pow x 6.0)) x)
22.0ms
(/ (pow x 2.0) (pow x 6.0))

series1.7s

Counts
2 → 6
Calls
2 calls:
853.0ms
(/ (/ (pow x 2.0) (pow x 6.0)) x)
821.0ms
(/ (pow x 2.0) (pow x 6.0))

simplify2.8s

Counts
329 → 329
Iterations
IterNodes
done5000
11206
0495

prune2.4s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize20.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune7.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations
IterNodes
done9
19
07

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.7s13271×body80valid