Details

Time bar (total: 17.9s)

sample131.0ms

Algorithm
intervals
Results
59.0ms241×body80nan
43.0ms256×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5174
71116
6232
578
453
339
224
122
018

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.6b

localize19.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (log (sqrt (+ (* re re) (* im im)))) (log base))
28.3b
(sqrt (+ (* re re) (* im im)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×log-pow
20×pow1
16×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
6×sqrt-pow1 pow1/2 associate-/l*
4×associate-/r* add-cbrt-cube sqrt-div add-exp-log
3×sqrt-prod
2×log-div flip3-+ div-sub flip-+ insert-posit16 add-log-exp
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg div-exp div-inv
Counts
2 → 65
Calls
2 calls:
45.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log base))
13.0ms
(sqrt (+ (* re re) (* im im)))

series212.0ms

Counts
2 → 6
Calls
2 calls:
151.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log base))
60.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.3s

Counts
71 → 71
Iterations
IterNodes
done5000
44376
31336
2524
1233
0123

prune412.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.3b

localize44.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ 1/2 (/ (log base) (log (+ (* re re) (* im im)))))
0.4b
(/ (log base) (log (+ (* re re) (* im im))))
29.5b
(log (+ (* re re) (* im im)))

rewrite50.0ms

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

series395.0ms

Counts
3 → 9
Calls
3 calls:
159.0ms
(/ 1/2 (/ (log base) (log (+ (* re re) (* im im)))))
156.0ms
(/ (log base) (log (+ (* re re) (* im im))))
80.0ms
(log (+ (* re re) (* im im)))

simplify2.0s

Counts
160 → 160
Iterations
IterNodes
done5018
34500
21497
1530
0217

prune732.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.3b

localize39.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (log (+ (* re re) (* im im))) (log base))
29.5b
(log (+ (* re re) (* im im)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
16×times-frac
13×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
11×log-pow
5×add-exp-log
4×log-div associate-/r* add-cbrt-cube associate-/l*
3×log-prod
2×flip3-+ div-sub flip-+ insert-posit16 add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp rem-log-exp div-inv
Counts
2 → 54
Calls
2 calls:
43.0ms
(/ (log (+ (* re re) (* im im))) (log base))
12.0ms
(log (+ (* re re) (* im im)))

series149.0ms

Counts
2 → 6
Calls
2 calls:
88.0ms
(/ (log (+ (* re re) (* im im))) (log base))
61.0ms
(log (+ (* re re) (* im im)))

simplify2.0s

Counts
60 → 60
Iterations
IterNodes
done5000
42960
31136
2508
1218
0109

prune268.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 7.3b

localize31.0ms

Local error

Found 4 expressions with local error:

15.6b
(log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
29.3b
(cbrt (+ (* re re) (* im im)))
29.3b
(cbrt (+ (* re re) (* im im)))
29.3b
(cbrt (+ (* re re) (* im im)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
12×pow1
9×cbrt-prod flip3-+ pow1/3 log-pow flip-+
8×log-div
7×add-sqr-sqrt *-un-lft-identity add-exp-log add-cube-cbrt
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×rem-log-exp pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 log-prod pow-plus prod-exp
Counts
4 → 70
Calls
4 calls:
41.0ms
(log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
5.0ms
(cbrt (+ (* re re) (* im im)))
5.0ms
(cbrt (+ (* re re) (* im im)))
8.0ms
(cbrt (+ (* re re) (* im im)))

series481.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(log (* (cbrt (+ (* re re) (* im im))) (cbrt (+ (* re re) (* im im)))))
120.0ms
(cbrt (+ (* re re) (* im im)))
122.0ms
(cbrt (+ (* re re) (* im im)))
105.0ms
(cbrt (+ (* re re) (* im im)))

simplify1.4s

Counts
82 → 82
Iterations
IterNodes
done5001
31617
2503
1208
098

prune488.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 7.3b

regimes394.0ms

Accuracy

59.7% (9.5b remaining)

Error of 17.1b against oracle of 7.6b and baseline of 31.1b

bsearch226.0ms

Steps
ItersRangePoint
9
3.744575579279384e+78
5.071112687032584e+85
3.5461239328384627e+84
11
-2.4334994185842963e+101
-2.852849138622092e+70
-1.4788027677282785e+98

simplify5.0ms

Iterations
IterNodes
done24
124
022

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.9s7906×body80nan
1.2s8000×body80valid