Details

Time bar (total: 46.5s)

sample40.0ms

Algorithm
intervals
Results
30.0ms256×body80valid

simplify9.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
9.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.7b

localize40.0ms

Local error

Found 2 expressions with local error:

30.3b
(sqrt (+ (* re re) (* im im)))
0.5b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

rewrite68.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:
Slowest
53.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
12.0ms
(sqrt (+ (* re re) (* im im)))

series238.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
194.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
44.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.8s

Counts
72 → 71
Calls
72 calls:
Slowest
396.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log 10) (log 10)) (log 10)))
318.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
313.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10))
293.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
261.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune901.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 7.6b

localize62.0ms

Local error

Found 4 expressions with local error:

30.3b
(sqrt (+ (* re re) (* im im)))
30.3b
(sqrt (+ (* re re) (* im im)))
30.3b
(sqrt (+ (* re re) (* im im)))
0.5b
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))

rewrite471.0ms

Algorithm
rewrite-expression-head
Rules
126×pow1
94×log-pow
72×times-frac
60×sqrt-div
54×cbrt-div
45×pow1/3 pow-prod-up
34×add-sqr-sqrt
31×*-un-lft-identity add-cube-cbrt
30×flip3-+ pow-plus flip-+
28×frac-times
26×log-div div-sub
25×pow-prod-down
18×associate-/l*
15×pow-sqr
14×associate-*l/
10×pow2
9×sqrt-prod
8×associate-*r/
6×add-cbrt-cube add-exp-log
5×pow3
4×associate-/r* insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 181
Calls
4 calls:
Slowest
432.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
13.0ms
(sqrt (+ (* re re) (* im im)))
11.0ms
(sqrt (+ (* re re) (* im im)))
10.0ms
(sqrt (+ (* re re) (* im im)))

series365.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
177.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
63.0ms
(sqrt (+ (* re re) (* im im)))
63.0ms
(sqrt (+ (* re re) (* im im)))
61.0ms
(sqrt (+ (* re re) (* im im)))

simplify16.8s

Counts
221 → 193
Calls
221 calls:
Slowest
676.0ms
(/ (log (* (* (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (cbrt (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))))) (log 10))
396.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))
391.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))
391.0ms
(/ (log (* (* (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10))
377.0ms
(/ (log (* (* (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3))))) (cbrt (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))))) (log 10))

prune2.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.5b

localize71.0ms

Local error

Found 4 expressions with local error:

31.3b
(cbrt (+ (* re re) (* im im)))
31.3b
(cbrt (+ (* re re) (* im im)))
30.3b
(sqrt (+ (* re re) (* im im)))
30.3b
(sqrt (+ (* re re) (* im im)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-prod pow1 sqrt-prod
4×cbrt-div flip3-+ add-cbrt-cube sqrt-div add-exp-log flip-+ insert-posit16 add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 60
Calls
4 calls:
Slowest
11.0ms
(sqrt (+ (* re re) (* im im)))
8.0ms
(cbrt (+ (* re re) (* im im)))
7.0ms
(cbrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

series364.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
138.0ms
(cbrt (+ (* re re) (* im im)))
132.0ms
(cbrt (+ (* re re) (* im im)))
51.0ms
(sqrt (+ (* re re) (* im im)))
42.0ms
(sqrt (+ (* re re) (* im im)))

simplify2.7s

Counts
36 → 72
Calls
36 calls:
Slowest
331.0ms
(cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))
292.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
260.0ms
(cbrt (+ (pow (* re re) 3) (pow (* im im) 3)))
260.0ms
(cbrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))
256.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))

prune1.4s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 7.5b

localize34.0ms

Local error

Found 3 expressions with local error:

30.3b
(sqrt (+ (* re re) (* im im)))
0.5b
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
0.2b
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
127×times-frac
107×add-sqr-sqrt
78×sqrt-prod
66×*-un-lft-identity
61×log-pow
60×add-cube-cbrt
52×pow1
46×associate-*r*
27×add-exp-log
25×associate-*l*
17×add-cbrt-cube
16×sqrt-pow1 pow1/2
15×unswap-sqr
9×div-exp
8×prod-exp
7×associate-/r*
6×associate-/l*
5×cbrt-undiv
4×sqrt-div cbrt-unprod
3×insert-posit16 div-inv add-log-exp
2×log-div rec-exp flip3-+ 1-exp div-sub flip-+
1×frac-times rem-sqrt-square clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 197
Calls
3 calls:
Slowest
29.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
22.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))
8.0ms
(sqrt (+ (* re re) (* im im)))

series577.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
308.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))
201.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))))
68.0ms
(sqrt (+ (* re re) (* im im)))

simplify10.7s

Counts
230 → 206
Calls
230 calls:
Slowest
589.0ms
(* (* (* (/ 1 (sqrt (log 10))) (/ 1 (sqrt (log 10)))) (/ 1 (sqrt (log 10)))) (* (* (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))) (/ (log (sqrt (+ (* re re) (* im im)))) (sqrt (log 10)))))
421.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))
354.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (sqrt (log 10)))
310.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (sqrt (log 10)))
308.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))

prune3.2s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 7.4b

regimes1.2s

Accuracy

55.9% (10.3b remaining)

Error of 17.4b against oracle of 7.1b and baseline of 30.5b

bsearch156.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.4s8000×body80valid