Details

Time bar (total: 15.6s)

sample866.0ms

Algorithm
halfpoints
Results

simplify503.0ms

Calls
1 calls:
Slowest
502.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)))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
12×pow1
8×associate-*r* associate-*l*
6×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×div-inv
2×pow2 expm1-log1p-u frac-times pow-plus pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative pow-prod-up cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
Calls
2 calls:
Slowest
6.0ms
(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
6.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))

simplify1.1s

Calls
34 calls:
Slowest
224.0ms
(* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)))
163.0ms
(* (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)) (* (* (/ (sqrt 3) 2) (/ (sqrt 3) 2)) (/ (sqrt 3) 2)))
140.0ms
(im (+.c (complex 5 (* 4 (/ (sqrt 3) 2))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))
137.0ms
(im (+.c (complex 5 (* 4 (/ (sqrt 3) 2))) (*.c (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1)) (+.c (complex 6 (/ (* (sqrt 3) -2) 2)) (complex (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (* (/ (sqrt 3) 2) -1))))))
112.0ms
(+ (log (/ (sqrt 3) 2)) (log (/ (sqrt 3) 2)))

prune810.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample12.2s

Algorithm
halfpoints
Results