Details

Time bar (total: 8.1s)

sample20.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify5.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
5.0ms
(sqrt (+ (* re re) (* im im)))

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.3b

localize15.0ms

Local error

Found 1 expressions with local error:

30.3b
(sqrt (+ (* re re) (* im im)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt sqrt-prod
2×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
1×rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ insert-posit16 add-log-exp
Counts
1 → 16
Calls
1 calls:
Slowest
12.0ms
(sqrt (+ (* re re) (* im im)))

series56.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
56.0ms
(sqrt (+ (* re re) (* im im)))

simplify625.0ms

Counts
10 → 19
Calls
10 calls:
Slowest
299.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
292.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
7.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
6.0ms
(* -1 re)

prune178.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 7.9b

localize20.0ms

Local error

Found 4 expressions with local error:

31.3b
(cbrt (+ (* re re) (* im im)))
31.3b
(cbrt (+ (* re re) (* im im)))
0.2b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
0.1b
(sqrt (cbrt (+ (* re re) (* im im))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
14×cbrt-prod sqrt-prod
12×*-un-lft-identity add-cube-cbrt
9×associate-*r*
8×cbrt-div
7×pow1
6×add-cbrt-cube add-exp-log
4×flip3-+ sqrt-div flip-+ insert-posit16 add-log-exp
3×pow1/3 associate-*l* unswap-sqr
2×rem-sqrt-square sqrt-pow1 associate-*r/
1×pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod
Counts
4 → 78
Calls
4 calls:
Slowest
30.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
6.0ms
(sqrt (cbrt (+ (* re re) (* im im))))
6.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series550.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
151.0ms
(cbrt (+ (* re re) (* im im)))
139.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
135.0ms
(sqrt (cbrt (+ (* re re) (* im im))))
124.0ms
(cbrt (+ (* re re) (* im im)))

simplify4.3s

Counts
56 → 90
Calls
56 calls:
Slowest
382.0ms
(+ (* (fabs (pow (+ (pow im 2) (pow re 2)) 1/3)) (pow im 1/3)) (* 1/6 (* (* (pow re 2) (fabs (pow (+ (pow im 2) (pow re 2)) 1/3))) (pow (/ 1 (pow im 5)) 1/3))))
350.0ms
(* (* (* (fabs (cbrt (+ (* re re) (* im im)))) (fabs (cbrt (+ (* re re) (* im im))))) (fabs (cbrt (+ (* re re) (* im im))))) (* (* (sqrt (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im))))) (sqrt (cbrt (+ (* re re) (* im im))))))
345.0ms
(cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))
320.0ms
(sqrt (cbrt (+ (* (* re re) (* re re)) (- (* (* im im) (* im im)) (* (* re re) (* im im))))))
272.0ms
(cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))

prune1.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 7.9b

localize2.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune7.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 7.9b

localize5.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune1.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 7.9b

regimes358.0ms

Accuracy

57.9% (9.1b remaining)

Error of 16.5b against oracle of 7.4b and baseline of 29.1b

bsearch88.0ms

end0.0ms

sample849.0ms

Algorithm
intervals
Results
656.0ms8000×body80valid