Details

Time bar (total: 13.5s)

sample354.0ms

Algorithm
intervals
Results
52.0ms198×body80valid
43.0ms21×body2560valid
7.0ms16×body1280valid
4.0ms7×body5120valid
3.0ms9×body640valid
1.0ms4×body320valid
0.0ms1×body160valid

simplify136.0ms

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.5b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.0b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
0.2b
(- (sqrt (+ (* re re) (* im im))) re)
28.4b
(sqrt (+ (* re re) (* im im)))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×pow1 add-log-exp
7×*-un-lft-identity
5×add-cube-cbrt sqrt-prod
4×add-cbrt-cube sqrt-div add-exp-log
3×sqrt-pow1
2×flip3-+ flip3-- pow1/2 associate-*r/ flip-+ flip-- difference-of-squares
1×+-commutative rem-sqrt-square sum-log sub-neg diff-log pow-prod-down distribute-lft-out--
Counts
4 → 54
Calls
4 calls:
6.0ms
(+ (* re re) (* im im))
49.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
39.0ms
(- (sqrt (+ (* re re) (* im im))) re)
10.0ms
(sqrt (+ (* re re) (* im im)))

series663.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(+ (* re re) (* im im))
308.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
99.0ms
(- (sqrt (+ (* re re) (* im im))) re)
205.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.1s

Counts
66 → 66
Iterations
IterNodes
done5001
21261
1276
0114

prune515.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 18.3b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))
5.8b
(exp (log (sqrt (+ (* re re) (* im im)))))
13.7b
(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
28.4b
(sqrt (+ (* re re) (* im im)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
10×pow1 *-un-lft-identity
8×log-prod exp-sum add-cube-cbrt sqrt-prod
6×exp-prod sqrt-div add-log-exp
4×sqrt-pow1 add-cbrt-cube add-exp-log
3×pow1/2 log-pow difference-of-squares
2×log-div flip3-+ flip3-- exp-diff associate-*r/ flip-+ flip--
1×rem-sqrt-square sub-neg diff-log pow-prod-down distribute-lft-out-- rem-exp-log
Counts
4 → 66
Calls
4 calls:
67.0ms
(sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))
18.0ms
(exp (log (sqrt (+ (* re re) (* im im)))))
80.0ms
(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
7.0ms
(sqrt (+ (* re re) (* im im)))

series418.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(sqrt (* 2.0 (- (exp (log (sqrt (+ (* re re) (* im im))))) re)))
50.0ms
(exp (log (sqrt (+ (* re re) (* im im)))))
81.0ms
(- (exp (log (sqrt (+ (* re re) (* im im))))) re)
46.0ms
(sqrt (+ (* re re) (* im im)))

simplify917.0ms

Counts
78 → 78
Iterations
IterNodes
done5001
21105
1296
0147

prune521.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 18.2b

localize65.0ms

Local error

Found 4 expressions with local error:

13.5b
(- (* (* (cbrt (exp (log (sqrt (+ (* re re) (* im im)))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im))))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im))))))) re)
28.4b
(sqrt (+ (* re re) (* im im)))
28.4b
(sqrt (+ (* re re) (* im im)))
28.4b
(sqrt (+ (* re re) (* im im)))

rewrite223.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
3×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
1×sub-neg flip3-- diff-log flip--
Counts
4 → 57
Calls
4 calls:
202.0ms
(- (* (* (cbrt (exp (log (sqrt (+ (* re re) (* im im)))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im))))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im))))))) re)
6.0ms
(sqrt (+ (* re re) (* im im)))
7.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

series222.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(- (* (* (cbrt (exp (log (sqrt (+ (* re re) (* im im)))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im))))))) (cbrt (exp (log (sqrt (+ (* re re) (* im im))))))) re)
63.0ms
(sqrt (+ (* re re) (* im im)))
50.0ms
(sqrt (+ (* re re) (* im im)))
42.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.5s

Counts
69 → 69
Iterations
IterNodes
done5000
31320
2421
1157
067

prune576.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 18.2b

localize146.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ add-log-exp
Counts
4 → 60
Calls
4 calls:
13.0ms
(sqrt (+ (* re re) (* im im)))
10.0ms
(sqrt (+ (* re re) (* im im)))
7.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

series266.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(sqrt (+ (* re re) (* im im)))
70.0ms
(sqrt (+ (* re re) (* im im)))
66.0ms
(sqrt (+ (* re re) (* im im)))
67.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.3s

Counts
72 → 72
Iterations
IterNodes
done5000
41462
3528
2220
191
038

prune807.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 18.2b

regimes1.1s

Accuracy

56.7% (9.5b remaining)

Error of 26.3b against oracle of 16.8b and baseline of 38.7b

bsearch152.0ms

Steps
ItersRangePoint
7
1.748216843554884e-276
3.4379504307027273e-274
2.1704548614174316e-276
9
-7.317563595848081e+70
-3.473568020675254e+63
-1.9401195934627838e+70

simplify8.0ms

Iterations
IterNodes
done42
242
141
031

end0.0ms

sample2.2s

Algorithm
intervals
Results
823.0ms683×body2560valid
549.0ms6030×body80valid
187.0ms301×body5120valid
158.0ms487×body1280valid
90.0ms245×body640valid
34.0ms175×body320valid
10.0ms79×body160valid