Details

Time bar (total: 16.1s)

sample687.0ms

Algorithm
halfpoints
Results

simplify517.0ms

Counts
1 → 1

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize98.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))

rewrite69.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 expm1-log1p-u frac-times pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
Counts
2 → 216
Calls
2 calls:
Slowest
36.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
25.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))

simplify938.0ms

Counts
290 → 218

prune2.2s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample11.6s

Algorithm
halfpoints
Results