Details

Time bar (total: 12.4s)

sample80.0ms

Algorithm
intervals
Results
34.0ms457×body80valid

simplify74.0ms

Calls
1 calls:
Slowest
73.0ms
(- (* re re) (* im im))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* re re) (* im im))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip-- difference-of-squares
Calls
1 calls:
Slowest
10.0ms
(- (* re re) (* im im))

series77.0ms

Calls
1 calls:
Slowest
77.0ms
(- (* re re) (* im im))

simplify354.0ms

Calls
6 calls:
Slowest
288.0ms
(/ (exp (* re re)) (exp (* im im)))
19.0ms
(- (pow re 2) (pow im 2))
18.0ms
(- (pow re 2) (pow im 2))
16.0ms
(- (pow re 2) (pow im 2))
5.0ms
(- re im)

prune94.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

6.5b
(sqrt (- (* re re) (* im im)))
6.5b
(sqrt (- (* re re) (* im im)))
0.0b
(* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))))
0.0b
(- (* re re) (* im im))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
30×sqrt-prod
28×add-sqr-sqrt
21×pow1
16×sqrt-div
14×*-un-lft-identity add-cube-cbrt
10×sqrt-pow1 pow1/2
9×flip3-- swap-sqr flip--
7×associate-*r* associate-*l* difference-of-squares
6×add-cbrt-cube add-exp-log add-log-exp
5×pow-prod-up
4×frac-times insert-posit16 unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-*l/ associate-*r/
1×pow2 sub-neg rem-square-sqrt pow-plus sqrt-unprod diff-log prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
42.0ms
(* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))))
8.0ms
(- (* re re) (* im im))
7.0ms
(sqrt (- (* re re) (* im im)))
7.0ms
(sqrt (- (* re re) (* im im)))

series206.0ms

Calls
4 calls:
Slowest
63.0ms
(- (* re re) (* im im))
53.0ms
(sqrt (- (* re re) (* im im)))
48.0ms
(sqrt (- (* re re) (* im im)))
41.0ms
(* (sqrt (- (* re re) (* im im))) (sqrt (- (* re re) (* im im))))

simplify9.1s

Calls
108 calls:
Slowest
485.0ms
(sqrt (sqrt (- (* re re) (* im im))))
256.0ms
(* (sqrt (- (pow (* re re) 3) (pow (* im im) 3))) (sqrt (- (* re re) (* im im))))
249.0ms
(* (sqrt (- (pow (* re re) 3) (pow (* im im) 3))) (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im)))))
244.0ms
(sqrt (- (pow (* re re) 3) (pow (* im im) 3)))
234.0ms
(* (sqrt (+ (* re re) (* im im))) (sqrt (+ (* (* re re) (* re re)) (+ (* (* im im) (* im im)) (* (* re re) (* im im))))))

prune998.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes107.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
924.0ms14186×body80valid