Details

Time bar (total: 19.6s)

sample758.0ms

Algorithm
halfpoints
Results

simplify2.8s

Counts
1 → 1

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize154.0ms

Local error

Found 2 expressions with local error:

1.0b
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
1.0b
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
198×add-sqr-sqrt
192×times-frac
114×*-un-lft-identity add-cube-cbrt
96×sqrt-prod
56×swap-sqr
44×associate-*r* associate-*l*
26×add-cbrt-cube add-exp-log
18×unswap-sqr
16×pow1
8×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv
2×pow2 frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up insert-posit16 add-log-exp
Counts
2 → 212
Calls
2 calls:
Slowest
30.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
28.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))

series0.0ms

Counts
2 → 2
Calls
2 calls:
Slowest
0.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
0.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))

simplify791.0ms

Counts
214 → 214

prune3.5s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample11.5s

Algorithm
halfpoints
Results