Details

Time bar (total: 18.6s)

sample36.0ms

Algorithm
intervals
Results
25.0ms256×body80valid

simplify16.0ms

Counts
1 → 1

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.0b

localize46.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.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-+ insert-posit16
2×log-div div-sub
1×cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log frac-2neg div-exp div-inv
Counts
3 → 77
Calls
3 calls:
Slowest
24.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
12.0ms
(+ (* re re) (* im im))
12.0ms
(sqrt (+ (* re re) (* im im)))

series303.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
198.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
53.0ms
(sqrt (+ (* re re) (* im im)))
51.0ms
(+ (* re re) (* im im))

simplify792.0ms

Counts
86 → 86

prune1.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.5b

localize71.0ms

Local error

Found 4 expressions with local error:

30.5b
(cbrt (+ (* re re) (* im im)))
30.5b
(cbrt (+ (* re re) (* im im)))
0.6b
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log 10))
0.3b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt pow1
21×*-un-lft-identity add-cube-cbrt
20×times-frac
16×log-pow
10×cbrt-prod
9×associate-*r*
8×cbrt-div add-cbrt-cube add-exp-log sqrt-prod
6×pow-prod-down
5×associate-/l*
4×associate-/r* flip3-+ sqrt-div associate-*r/ flip-+ insert-posit16 add-log-exp
3×associate-*l* unswap-sqr
2×log-div pow1/3 div-sub
1×cbrt-undiv clear-num frac-2neg div-exp prod-exp *-commutative cbrt-unprod div-inv
Counts
4 → 101
Calls
4 calls:
Slowest
87.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log 10))
42.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
4.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series738.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
293.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (log 10))
167.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
167.0ms
(cbrt (+ (* re re) (* im im)))
111.0ms
(cbrt (+ (* re re) (* im im)))

simplify1.4s

Counts
113 → 113

prune1.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.5b

localize64.0ms

Local error

Found 4 expressions with local error:

30.5b
(cbrt (+ (* re re) (* im im)))
30.5b
(cbrt (+ (* re re) (* im im)))
5.2b
(exp (log (cbrt (+ (* re re) (* im im)))))
0.6b
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (exp (log (cbrt (+ (* re re) (* im im)))))))) (log 10))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
20×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
18×log-pow
9×cbrt-prod
8×cbrt-div
6×log-div log-prod add-cbrt-cube exp-sum add-exp-log
5×exp-prod pow-prod-down associate-/l*
4×associate-/r* flip3-+ exp-diff flip-+ insert-posit16 add-log-exp
3×pow1/3
2×sqrt-div div-sub associate-*r/
1×cbrt-undiv clear-num frac-2neg div-exp div-inv rem-exp-log
Counts
4 → 94
Calls
4 calls:
Slowest
134.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (exp (log (cbrt (+ (* re re) (* im im)))))))) (log 10))
7.0ms
(exp (log (cbrt (+ (* re re) (* im im)))))
6.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series655.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
238.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (exp (log (cbrt (+ (* re re) (* im im)))))))) (log 10))
167.0ms
(cbrt (+ (* re re) (* im im)))
139.0ms
(exp (log (cbrt (+ (* re re) (* im im)))))
111.0ms
(cbrt (+ (* re re) (* im im)))

simplify936.0ms

Counts
106 → 106

prune2.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 7.4b

localize371.0ms

Local error

Found 4 expressions with local error:

30.5b
(cbrt (+ (* re re) (* im im)))
30.5b
(cbrt (+ (* re re) (* im im)))
0.4b
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))
0.3b
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt pow1
35×times-frac
32×sqrt-prod
30×*-un-lft-identity add-cube-cbrt
22×log-pow
10×cbrt-prod
9×associate-*r* pow-prod-down
8×cbrt-div add-cbrt-cube add-exp-log
7×associate-/r*
5×associate-/l*
4×flip3-+ sqrt-div associate-*r/ flip-+ insert-posit16 add-log-exp
3×associate-*l* unswap-sqr
2×log-div pow1/3 div-sub
1×cbrt-undiv clear-num frac-2neg div-exp prod-exp *-commutative cbrt-unprod div-inv
Counts
4 → 119
Calls
4 calls:
Slowest
107.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))
40.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
4.0ms
(cbrt (+ (* re re) (* im im)))
4.0ms
(cbrt (+ (* re re) (* im im)))

series855.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
379.0ms
(/ (log (* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))) (sqrt (log 10)))
165.0ms
(cbrt (+ (* re re) (* im im)))
165.0ms
(* (fabs (cbrt (+ (* re re) (* im im)))) (sqrt (cbrt (+ (* re re) (* im im)))))
147.0ms
(cbrt (+ (* re re) (* im im)))

simplify1.4s

Counts
131 → 131

prune2.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.4b

regimes1.4s

Accuracy

57.8% (9.9b remaining)

Error of 17.3b against oracle of 7.5b and baseline of 30.8b

bsearch161.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s8000×body80valid