Details

Time bar (total: 17.5s)

sample31.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
211
111
010

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.3b

localize38.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
31.8b
(sqrt (+ (* re re) (* im im)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×log-pow
21×pow1
17×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
6×sqrt-pow1 pow1/2 associate-/l*
5×add-cbrt-cube add-exp-log add-log-exp
4×associate-/r* sqrt-div
3×flip3-+ sqrt-prod flip-+
2×log-div div-sub
1×cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log frac-2neg div-exp div-inv
Counts
3 → 74
Calls
3 calls:
8.0ms
(+ (* re re) (* im im))
38.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
11.0ms
(sqrt (+ (* re re) (* im im)))

series292.0ms

Counts
3 → 9
Calls
3 calls:
32.0ms
(+ (* re re) (* im im))
208.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
52.0ms
(sqrt (+ (* re re) (* im im)))

simplify735.0ms

Counts
83 → 83
Iterations
IterNodes
32238
2711
1261
0125

prune922.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 6.7b

localize52.0ms

Local error

Found 4 expressions with local error:

31.8b
(sqrt (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im)))))
32.8b
(cbrt (+ (* re re) (* im im)))
32.8b
(cbrt (+ (* re re) (* im im)))
32.8b
(cbrt (+ (* re re) (* im im)))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
30×flip3-+ flip-+
28×frac-times
26×sqrt-div
24×pow1
15×sqrt-pow1
14×associate-*l/
12×pow1/3
9×cbrt-prod pow-prod-up
8×associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow-plus
5×pow-prod-down
4×add-cbrt-cube add-exp-log add-log-exp
3×pow-sqr
2×pow2
1×pow1/2 pow3 sqrt-prod
Counts
4 → 89
Calls
4 calls:
82.0ms
(sqrt (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im)))))
3.0ms
(cbrt (+ (* re re) (* im im)))
3.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series466.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(sqrt (* (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))) (cbrt (+ (* re re) (* im im)))))
161.0ms
(cbrt (+ (* re re) (* im im)))
120.0ms
(cbrt (+ (* re re) (* im im)))
128.0ms
(cbrt (+ (* re re) (* im im)))

simplify1.2s

Counts
101 → 101
Iterations
IterNodes
42760
31096
2487
1279
0164

prune1.4s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 6.7b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.3b
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
0.7b
(/ (log 10) (log (+ (* re re) (* im im))))
33.1b
(log (+ (* re re) (* im im)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
140×times-frac
72×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
47×pow1
43×log-pow
24×associate-/r*
12×add-exp-log
11×add-cbrt-cube
7×associate-/l*
6×div-inv add-log-exp
4×cbrt-undiv div-exp
3×log-prod
2×log-div clear-num frac-2neg flip3-+ flip-+
1×+-commutative sum-log rem-log-exp associate-/r/
Counts
4 → 159
Calls
4 calls:
13.0ms
(+ (* re re) (* im im))
12.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
8.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
5.0ms
(log (+ (* re re) (* im im)))

series554.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ (* re re) (* im im))
205.0ms
(/ 1/2 (/ (log 10) (log (+ (* re re) (* im im)))))
210.0ms
(/ (log 10) (log (+ (* re re) (* im im))))
89.0ms
(log (+ (* re re) (* im im)))

simplify4.6s

Counts
171 → 171
Iterations
IterNodes
35151
21822
1546
0218

prune1.9s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 6.6b

localize62.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (log 10))
1.0b
(cbrt (log 10))
1.0b
(cbrt (log 10))
33.1b
(log (+ (* re re) (* im im)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
5×add-exp-log
4×add-cbrt-cube log-pow add-log-exp
3×log-prod pow1/3
2×log-div
1×flip3-+ rem-log-exp flip-+
Counts
4 → 50
Calls
4 calls:
1.0ms
(cbrt (log 10))
1.0ms
(cbrt (log 10))
1.0ms
(cbrt (log 10))
5.0ms
(log (+ (* re re) (* im im)))

series63.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt (log 10))
0.0ms
(cbrt (log 10))
0.0ms
(cbrt (log 10))
63.0ms
(log (+ (* re re) (* im im)))

simplify1.4s

Counts
56 → 56
Iterations
IterNodes
53155
41237
3597
2291
1146
068

prune652.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 6.5b

regimes725.0ms

Accuracy

58.8% (9.8b remaining)

Error of 17.5b against oracle of 7.6b and baseline of 31.5b

bsearch357.0ms

Steps
ItersRangePoint
10
1.5347927881719531e+137
1.0303134579162717e+148
7.1259985451937965e+137
9
8.078157939339514e-228
5.9061123396576155e-223
9.161820666739078e-228
10
-7.074938547279042e-300
4.152164446645693e-307
-1.2465139226076545e-304
6
-5.294928744263152e+64
-1.2512193358901006e+64
-2.2033296293392884e+64

simplify19.0ms

Iterations
IterNodes
253
153
043

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.1s8000×body80valid