Details

Time bar (total: 13.8s)

sample62.0ms

Algorithm
intervals
Results
42.0ms276×body80valid

simplify16.0ms

Counts
1 → 1
Iterations
IterNodes
237
137
011

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.9b

localize53.0ms

Local error

Found 2 expressions with local error:

1.0b
(+ (* x.re y.re) (* x.im y.im))
22.8b
(/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/r* flip3-+ flip-+ associate-/l*
2×pow1 associate-/r/ insert-posit16 associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
2 → 44
Calls
2 calls:
8.0ms
(+ (* x.re y.re) (* x.im y.im))
39.0ms
(/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im)))

series144.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(+ (* x.re y.re) (* x.im y.im))
92.0ms
(/ (+ (* x.re y.re) (* x.im y.im)) (+ (* y.re y.re) (* y.im y.im)))

simplify1.1s

Counts
50 → 50
Iterations
IterNodes
33185
21102
1397
088

prune556.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 22.4b

localize49.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (* x.re y.re) (* x.im y.im))
14.7b
(/ (+ (* x.re y.re) (* x.im y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
26.7b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
26.7b
(sqrt (+ (* y.re y.re) (* y.im y.im)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
18×times-frac sqrt-prod
6×pow1 associate-/r* add-cbrt-cube sqrt-div add-exp-log add-log-exp
5×flip3-+ flip-+
4×insert-posit16
3×associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
4 → 88
Calls
4 calls:
7.0ms
(+ (* x.re y.re) (* x.im y.im))
33.0ms
(/ (+ (* x.re y.re) (* x.im y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
11.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))
18.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

series329.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(+ (* x.re y.re) (* x.im y.im))
136.0ms
(/ (+ (* x.re y.re) (* x.im y.im)) (sqrt (+ (* y.re y.re) (* y.im y.im))))
67.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))
60.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))

simplify1.1s

Counts
100 → 100
Iterations
IterNodes
33150
21227
1500
0120

prune1.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 20.9b

localize78.0ms

Local error

Found 4 expressions with local error:

14.7b
(/ (+ (* x.re y.re) (* x.im y.im)) (* (fabs (cbrt (+ (* y.re y.re) (* y.im y.im)))) (sqrt (cbrt (+ (* y.re y.re) (* y.im y.im))))))
26.7b
(sqrt (+ (* y.re y.re) (* y.im y.im)))
27.8b
(cbrt (+ (* y.re y.re) (* y.im y.im)))
27.8b
(cbrt (+ (* y.re y.re) (* y.im y.im)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×*-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×cbrt-prod cbrt-div
5×pow1 flip3-+ flip-+
4×sqrt-div insert-posit16 add-log-exp
3×times-frac sqrt-prod associate-/l*
2×cbrt-undiv pow1/3 div-exp associate-*r/ associate-/r/ associate-/l/
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 prod-exp cbrt-unprod div-inv
Counts
4 → 70
Calls
4 calls:
59.0ms
(/ (+ (* x.re y.re) (* x.im y.im)) (* (fabs (cbrt (+ (* y.re y.re) (* y.im y.im)))) (sqrt (cbrt (+ (* y.re y.re) (* y.im y.im))))))
12.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))
8.0ms
(cbrt (+ (* y.re y.re) (* y.im y.im)))
8.0ms
(cbrt (+ (* y.re y.re) (* y.im y.im)))

series726.0ms

Counts
4 → 12
Calls
4 calls:
419.0ms
(/ (+ (* x.re y.re) (* x.im y.im)) (* (fabs (cbrt (+ (* y.re y.re) (* y.im y.im)))) (sqrt (cbrt (+ (* y.re y.re) (* y.im y.im))))))
68.0ms
(sqrt (+ (* y.re y.re) (* y.im y.im)))
120.0ms
(cbrt (+ (* y.re y.re) (* y.im y.im)))
119.0ms
(cbrt (+ (* y.re y.re) (* y.im y.im)))

simplify2.0s

Counts
82 → 82
Iterations
IterNodes
35492
21764
1693
0158

prune1.4s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 20.9b

localize38.0ms

Local error

Found 3 expressions with local error:

1.0b
(+ (* x.re y.re) (* x.im y.im))
1.3b
(/ 1 (/ (+ (* y.re y.re) (* y.im y.im)) (+ (* x.re y.re) (* x.im y.im))))
22.1b
(/ (+ (* y.re y.re) (* y.im y.im)) (+ (* x.re y.re) (* x.im y.im)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
55×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×associate-/r*
16×add-exp-log
11×associate-/r/
10×add-cbrt-cube
8×div-exp
7×flip3-+ flip-+
6×div-inv associate-/l*
5×add-log-exp
4×pow1 cbrt-undiv
3×insert-posit16
2×rec-exp clear-num frac-2neg 1-exp associate-/l/
1×+-commutative sum-log pow-flip inv-pow
Counts
3 → 129
Calls
3 calls:
14.0ms
(+ (* x.re y.re) (* x.im y.im))
34.0ms
(/ 1 (/ (+ (* y.re y.re) (* y.im y.im)) (+ (* x.re y.re) (* x.im y.im))))
30.0ms
(/ (+ (* y.re y.re) (* y.im y.im)) (+ (* x.re y.re) (* x.im y.im)))

series400.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(+ (* x.re y.re) (* x.im y.im))
242.0ms
(/ 1 (/ (+ (* y.re y.re) (* y.im y.im)) (+ (* x.re y.re) (* x.im y.im))))
98.0ms
(/ (+ (* y.re y.re) (* y.im y.im)) (+ (* x.re y.re) (* x.im y.im)))

simplify653.0ms

Counts
138 → 138
Iterations
IterNodes
22046
1873
0197

prune1.5s

Pruning

11 alts after pruning (7 fresh and 4 done)

Merged error: 20.9b

regimes518.0ms

Accuracy

0% (2.8b remaining)

Error of 25.8b against oracle of 23.0b and baseline of 25.8b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
217
117
013

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8509×body80valid