Details

Time bar (total: 7.8s)

sample42.0ms

Algorithm
intervals
Results
32.0ms256×body80valid

simplify9.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

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

series48.0ms

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

simplify574.0ms

Counts
10 → 19
Calls
10 calls:
Slowest
312.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
222.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
16.0ms
(sqrt (sqrt (+ (* re re) (* im im))))
7.0ms
(sqrt (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
4.0ms
(sqrt (+ (* re re) (* im im)))

prune153.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 8.9b

localize32.0ms

Local error

Found 4 expressions with local error:

30.0b
(cbrt (+ (* re re) (* im im)))
30.0b
(cbrt (+ (* re re) (* im im)))
0.3b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
0.2b
(sqrt (cbrt (+ (* re re) (* im im))))

rewrite50.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
24.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
13.0ms
(sqrt (cbrt (+ (* re re) (* im im))))
8.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series547.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
149.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
149.0ms
(cbrt (+ (* re re) (* im im)))
139.0ms
(sqrt (cbrt (+ (* re re) (* im im))))
109.0ms
(cbrt (+ (* re re) (* im im)))

simplify4.1s

Counts
56 → 90
Calls
56 calls:
Slowest
432.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))))
361.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))))))
283.0ms
(cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))
278.0ms
(cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))
258.0ms
(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 8.9b

localize1.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

prune3.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 8.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

prune0.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 8.9b

regimes349.0ms

Accuracy

58.1% (9.3b remaining)

Error of 16.7b against oracle of 7.4b and baseline of 29.7b

bsearch35.0ms

end0.0ms

sample783.0ms

Algorithm
intervals
Results
534.0ms8000×body80valid