Details

Time bar (total: 28.8s)

sample866.0ms

Algorithm
halfpoints
Results

simplify504.0ms

Calls
1 calls:
Slowest
504.0ms
(im (+.c (+.c (+.c (+.c (*.c (*.c (*.c (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (*.c (*.c (*.c (complex (- 2) 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (*.c (complex 5 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (*.c (complex 4 0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0)))

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

rewrite50.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
Calls
2 calls:
Slowest
23.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
22.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))

series0.0ms

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

simplify12.4s

Calls
270 calls:
Slowest
458.0ms
(* (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))) (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))))
449.0ms
(* (/ (sqrt (sqrt 3)) (sqrt 2)) (/ (sqrt (sqrt 3)) (sqrt 2)))
385.0ms
(* (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))) (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))))
330.0ms
(* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (/ (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* 2 2) 2)))
262.0ms
(* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (/ (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* 2 2) 2)))

prune2.8s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample12.1s

Algorithm
halfpoints
Results