Details

Time bar (total: 19.2s)

sample129.0ms

Algorithm
intervals
Results
58.0ms256×body80valid
34.0ms224×body80nan

simplify24.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.9b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.3b
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.5b
(* (log base) (log base))
24.0b
(sqrt (+ (* re re) (* im im)))

rewrite515.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
25×*-un-lft-identity
23×pow1 add-cube-cbrt
12×log-prod
10×add-exp-log associate-*l* log-pow add-cbrt-cube
9×times-frac
8×associate-*r*
6×distribute-rgt-in distribute-lft-in swap-sqr
4×add-log-exp
3×flip3-+ associate-/r* sqrt-prod flip-+ associate-/l*
2×sqrt-pow1 pow1/2 sqrt-div pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod associate-/l/ unswap-sqr
1×cbrt-undiv pow2 rem-sqrt-square frac-2neg pow-plus div-exp clear-num pow-sqr pow-prod-up div-inv
Counts
4 → 110
Calls
4 calls:
29.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
57.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
27.0ms
(* (log base) (log base))
8.0ms
(sqrt (+ (* re re) (* im im)))

series591.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
135.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
281.0ms
(* (log base) (log base))
67.0ms
(sqrt (+ (* re re) (* im im)))

simplify993.0ms

Counts
122 → 122

prune740.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.1b

localize43.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
0.5b
(* (log base) (log base))
0.5b
(* (log base) (log base))
24.0b
(sqrt (+ (* re re) (* im im)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
270×times-frac
163×add-sqr-sqrt
162×*-un-lft-identity
158×add-cube-cbrt
141×sqrt-prod
31×pow1
24×associate-/l*
18×sqrt-div
16×associate-/r/
13×add-exp-log add-cbrt-cube
12×log-prod swap-sqr log-pow
9×flip3-+ flip-+
8×associate-*r* associate-*l* div-inv
6×distribute-rgt-in distribute-lft-in associate-/r*
4×add-log-exp
3×cbrt-undiv div-exp
2×pow2 pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num associate-/l/
Counts
4 → 278
Calls
4 calls:
106.0ms
(/ (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
10.0ms
(* (log base) (log base))
10.0ms
(* (log base) (log base))
11.0ms
(sqrt (+ (* re re) (* im im)))

series739.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(/ (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0))))
244.0ms
(* (log base) (log base))
280.0ms
(* (log base) (log base))
58.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.5s

Counts
290 → 290

prune1.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (log base) (log base))
0.5b
(* (log base) (log base))
24.9b
(cbrt (+ (* re re) (* im im)))
24.9b
(cbrt (+ (* re re) (* im im)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1
22×add-sqr-sqrt *-un-lft-identity
18×add-cube-cbrt
12×log-prod swap-sqr log-pow
8×add-exp-log associate-*r* associate-*l* add-cbrt-cube
6×cbrt-prod distribute-rgt-in distribute-lft-in
4×cbrt-div add-log-exp
2×pow2 flip3-+ pow-plus pow1/3 pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ unswap-sqr
Counts
4 → 98
Calls
4 calls:
10.0ms
(* (log base) (log base))
19.0ms
(* (log base) (log base))
10.0ms
(cbrt (+ (* re re) (* im im)))
10.0ms
(cbrt (+ (* re re) (* im im)))

series792.0ms

Counts
4 → 12
Calls
4 calls:
253.0ms
(* (log base) (log base))
284.0ms
(* (log base) (log base))
132.0ms
(cbrt (+ (* re re) (* im im)))
123.0ms
(cbrt (+ (* re re) (* im im)))

simplify1.9s

Counts
110 → 110

prune719.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 6.0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (log base) (* 2 (log (cbrt base))))
0.6b
(cbrt base)
0.6b
(cbrt base)
24.0b
(sqrt (+ (* re re) (* im im)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
24×distribute-rgt-in log-prod distribute-lft-in
18×cbrt-prod
17×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
11×pow1
9×add-exp-log add-cbrt-cube
4×associate-*l* add-log-exp
3×pow-prod-down prod-exp sqrt-prod cbrt-unprod
2×pow1/3 sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 associate-*r* log-pow *-commutative flip-+
Counts
4 → 80
Calls
4 calls:
25.0ms
(* (log base) (* 2 (log (cbrt base))))
1.0ms
(cbrt base)
1.0ms
(cbrt base)
11.0ms
(sqrt (+ (* re re) (* im im)))

series1.4s

Counts
4 → 12
Calls
4 calls:
625.0ms
(* (log base) (* 2 (log (cbrt base))))
339.0ms
(cbrt base)
339.0ms
(cbrt base)
72.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.3s

Counts
92 → 92

prune524.0ms

Pruning

17 alts after pruning (15 fresh and 2 done)

Merged error: 6.0b

regimes686.0ms

Accuracy

56.6% (10.4b remaining)

Error of 17.4b against oracle of 7.0b and baseline of 31.0b

bsearch199.0ms

Steps
ItersRangePoint
9
2.856332945856771e+44
2.0431996535605748e+52
1.8905865542667428e+52
5
-2.294626366488831e+97
-1.033466382081211e+97
-1.4419433136335915e+97

simplify1.0s

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.6s7907×body80nan
1.2s8000×body80valid