Details

Time bar (total: 30.2s)

sample154.0ms

Algorithm
intervals
Results
12.0ms181×body80valid
11.0ms22×body2560valid
10.0ms19×body5120valid
5.0ms16×body1280valid
5.0ms13×body640valid
1.0ms4×body320valid
0.0ms1×body160valid

simplify134.0ms

Counts
1 → 1
Iterations
IterNodes
done35
435
330
224
117
012

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.0b

localize65.0ms

Local error

Found 3 expressions with local error:

0.2b
(- (sqrt (+ (* re re) (* im im))) re)
0.2b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
29.2b
(sqrt (+ (* re re) (* im im)))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×pow1
6×*-un-lft-identity
5×sqrt-prod add-log-exp
4×sqrt-div add-cube-cbrt
3×sqrt-pow1 add-cbrt-cube add-exp-log insert-posit16
2×flip3-- pow1/2 associate-*r/ flip-- difference-of-squares
1×rem-sqrt-square sub-neg flip3-+ diff-log pow-prod-down flip-+ distribute-lft-out--
Counts
3 → 46
Calls
3 calls:
79.0ms
(- (sqrt (+ (* re re) (* im im))) re)
52.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
14.0ms
(sqrt (+ (* re re) (* im im)))

series427.0ms

Counts
3 → 9
Calls
3 calls:
73.0ms
(- (sqrt (+ (* re re) (* im im))) re)
267.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
87.0ms
(sqrt (+ (* re re) (* im im)))

simplify4.1s

Counts
55 → 55
Iterations
IterNodes
done5002
32243
2631
1231
0109

prune690.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 18.5b

localize50.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
9.2b
(- (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
29.2b
(sqrt (+ (* re re) (* im im)))
29.2b
(sqrt (+ (* re re) (* im im)))

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
51×add-sqr-sqrt
34×sqrt-pow1
29×pow1
28×sqrt-div
18×*-un-lft-identity pow1/2 add-cube-cbrt
15×swap-sqr
9×associate-*r* associate-*l* pow-prod-up unswap-sqr
8×flip3-+ flip-+
6×add-cbrt-cube add-exp-log add-log-exp
5×pow-prod-down pow-sqr
4×frac-times insert-posit16
2×rem-sqrt-square associate-*l/ associate-*r/
1×pow2 sub-neg rem-square-sqrt pow-plus flip3-- sqrt-unprod diff-log prod-exp *-commutative cbrt-unprod flip-- difference-of-squares
Counts
4 → 130
Calls
4 calls:
104.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
88.0ms
(- (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
13.0ms
(sqrt (+ (* re re) (* im im)))
15.0ms
(sqrt (+ (* re re) (* im im)))

series309.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
95.0ms
(- (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im))))) re)
83.0ms
(sqrt (+ (* re re) (* im im)))
63.0ms
(sqrt (+ (* re re) (* im im)))

simplify4.6s

Counts
142 → 142
Iterations
IterNodes
done5004
32017
2685
1288
0141

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 18.5b

localize155.0ms

Local error

Found 4 expressions with local error:

8.5b
(- (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (fabs (cbrt (sqrt (+ (* re re) (* im im)))))) (sqrt (cbrt (sqrt (+ (* re re) (* im im)))))) re)
29.2b
(sqrt (+ (* re re) (* im im)))
29.2b
(sqrt (+ (* re re) (* im im)))
29.2b
(sqrt (+ (* re re) (* im im)))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
7×pow1 *-un-lft-identity add-cube-cbrt
6×sqrt-div add-log-exp
4×add-cbrt-cube add-exp-log insert-posit16
3×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
1×sub-neg flip3-- diff-log flip--
Counts
4 → 61
Calls
4 calls:
163.0ms
(- (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (fabs (cbrt (sqrt (+ (* re re) (* im im)))))) (sqrt (cbrt (sqrt (+ (* re re) (* im im)))))) re)
11.0ms
(sqrt (+ (* re re) (* im im)))
11.0ms
(sqrt (+ (* re re) (* im im)))
11.0ms
(sqrt (+ (* re re) (* im im)))

series428.0ms

Counts
4 → 12
Calls
4 calls:
276.0ms
(- (* (* (sqrt (sqrt (+ (* re re) (* im im)))) (fabs (cbrt (sqrt (+ (* re re) (* im im)))))) (sqrt (cbrt (sqrt (+ (* re re) (* im im)))))) re)
50.0ms
(sqrt (+ (* re re) (* im im)))
52.0ms
(sqrt (+ (* re re) (* im im)))
51.0ms
(sqrt (+ (* re re) (* im im)))

simplify4.2s

Counts
73 → 73
Iterations
IterNodes
done5000
32092
2592
1208
086

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 18.5b

localize213.0ms

Local error

Found 4 expressions with local error:

29.2b
(sqrt (+ (* re re) (* im im)))
30.2b
(cbrt (+ (* re re) (* im im)))
30.2b
(cbrt (+ (* re re) (* im im)))
30.2b
(cbrt (+ (* re re) (* im im)))

rewrite61.0ms

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

series731.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(sqrt (+ (* re re) (* im im)))
236.0ms
(cbrt (+ (* re re) (* im im)))
202.0ms
(cbrt (+ (* re re) (* im im)))
227.0ms
(cbrt (+ (* re re) (* im im)))

simplify6.3s

Counts
70 → 70
Iterations
IterNodes
done5002
43940
31044
2333
1144
067

prune1.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 18.5b

regimes1.1s

Accuracy

59.8% (8.9b remaining)

Error of 25.8b against oracle of 16.9b and baseline of 39.0b

bsearch113.0ms

Steps
ItersRangePoint
7
1.544570416778609e-300
3.190126808092148e-299
1.5696569245782165e-300
6
-3.841706696025466e+111
-2.574025199127893e+110
-2.6008532152452964e+111

simplify18.0ms

Iterations
IterNodes
done47
147
035

end0.0ms

sample2.0s

Algorithm
intervals
Results
674.0ms313×body5120valid
428.0ms6052×body80valid
250.0ms495×body1280valid
238.0ms651×body2560valid
66.0ms289×body640valid
65.0ms134×body320valid
7.0ms66×body160valid