Details

sample755.0ms

Algorithm

halfpoints

Results

simplify581.0ms

Calls

1 calls:

Slowest

580.0ms

(re (+.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)))

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize113.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm

rewrite-expression-head

Rules

449×	`add-sqr-sqrt`
367×	`*-un-lft-identity`
365×	`add-cube-cbrt`
348×	`times-frac`
323×	`associate-/l*`
303×	`sqrt-prod`
288×	`frac-times`
190×	`associate-/r*`
57×	`clear-num`
56×	`swap-sqr`
55×	`frac-2neg`
44×	`associate-r` `associate-l`
35×	`add-cbrt-cube` `add-exp-log`
24×	`associate-l/` `associate-r/`
18×	`pow1` `unswap-sqr`
14×	`div-inv`
12×	`cbrt-undiv` `div-exp` `associate-/r/`
8×	`prod-exp` `cbrt-unprod`
4×	`un-div-inv` `insert-posit16` `add-log-exp`
2×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up`

Calls

4 calls:

Slowest

39.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
30.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
13.0ms	(/ 4 (/ 2 (sqrt 3)))
8.0ms	(/ 2 (sqrt 3))

series0.0ms

Calls

4 calls:

Slowest

0.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
0.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
0.0ms	(/ 2 (sqrt 3))
0.0ms	(/ 4 (/ 2 (sqrt 3)))

simplify43.7s

Calls

1108 calls:

Slowest

632.0ms	(/ (* (cbrt 4) (cbrt 4)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3)))))
586.0ms	(* (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))) (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))))
472.0ms	(/ (* (* 4 4) 4) (* (* (/ 2 (sqrt 3)) (/ 2 (sqrt 3))) (/ 2 (sqrt 3))))
445.0ms	(* (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))) (/ (* (cbrt (sqrt 3)) (cbrt (sqrt 3))) (* (cbrt 2) (cbrt 2))))
407.0ms	(* (/ 2 (sqrt 3)) (/ 2 (sqrt (sqrt 3))))

prune9.9s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample11.7s

Algorithm

halfpoints

Results