Details

Time bar (total: 11.4s)

sample103.0ms

Algorithm
intervals
Results
37.0ms297×body80nan
31.0ms256×body80valid

simplify2.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.0b

localize48.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))
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite109.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:
20.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
60.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
14.0ms
(* (log base) (log base))
11.0ms
(sqrt (+ (* re re) (* im im)))

series512.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
122.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
214.0ms
(* (log base) (log base))
50.0ms
(sqrt (+ (* re re) (* im im)))

simplify47.0ms

Counts
122 → 122

prune574.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 9.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ 1 (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))))
0.5b
(* (log base) (log base))
0.5b
(* (log base) (log base))
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
94×add-sqr-sqrt
58×times-frac
53×*-un-lft-identity
43×add-cube-cbrt
33×pow1
32×associate-*r* associate-*l* sqrt-prod
30×add-exp-log
20×add-cbrt-cube
17×unswap-sqr
12×log-prod swap-sqr log-pow
10×prod-exp
8×div-exp
6×distribute-rgt-in distribute-lft-in sqrt-div cbrt-unprod
4×cbrt-undiv associate-/r/ add-log-exp
3×flip3-+ pow-prod-down *-commutative flip-+
2×pow2 rec-exp pow-plus 1-exp pow-sqr pow-prod-up div-inv
1×frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ associate-*l/
Counts
4 → 174
Calls
4 calls:
96.0ms
(* (/ 1 (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))))
10.0ms
(* (log base) (log base))
10.0ms
(* (log base) (log base))
15.0ms
(sqrt (+ (* re re) (* im im)))

series646.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(* (/ 1 (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (sqrt (+ (* (log base) (log base)) (* 0.0 0.0)))))
198.0ms
(* (log base) (log base))
238.0ms
(* (log base) (log base))
43.0ms
(sqrt (+ (* re re) (* im im)))

simplify102.0ms

Counts
186 → 186

prune913.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 9.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (log base) (* 2 (log (cbrt base))))
0.6b
(cbrt base)
0.6b
(cbrt base)
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite45.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:
31.0ms
(* (log base) (* 2 (log (cbrt base))))
1.0ms
(cbrt base)
1.0ms
(cbrt base)
9.0ms
(sqrt (+ (* re re) (* im im)))

series1.4s

Counts
4 → 12
Calls
4 calls:
815.0ms
(* (log base) (* 2 (log (cbrt base))))
257.0ms
(cbrt base)
228.0ms
(cbrt base)
57.0ms
(sqrt (+ (* re re) (* im im)))

simplify106.0ms

Counts
92 → 92

prune608.0ms

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 9.1b

localize64.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (log base) (log base))
0.5b
(* (log base) (log base))
0.5b
(* (log base) (log base))
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
44×pow1
30×add-sqr-sqrt
29×*-un-lft-identity
23×add-cube-cbrt
18×log-prod swap-sqr log-pow
12×associate-*r* associate-*l*
10×add-exp-log add-cbrt-cube
9×distribute-rgt-in distribute-lft-in
4×add-log-exp
3×pow2 pow-plus pow-prod-down prod-exp sqrt-prod pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 123
Calls
4 calls:
13.0ms
(* (log base) (log base))
10.0ms
(* (log base) (log base))
10.0ms
(* (log base) (log base))
8.0ms
(sqrt (+ (* re re) (* im im)))

series710.0ms

Counts
4 → 12
Calls
4 calls:
231.0ms
(* (log base) (log base))
215.0ms
(* (log base) (log base))
209.0ms
(* (log base) (log base))
54.0ms
(sqrt (+ (* re re) (* im im)))

simplify66.0ms

Counts
135 → 135

prune643.0ms

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 9.1b

regimes522.0ms

Accuracy

58.9% (10.3b remaining)

Error of 17.7b against oracle of 7.4b and baseline of 32.5b

bsearch261.0ms

Steps
ItersRangePoint
9
1.3675972162045202e+134
3.4677220232059977e+140
9.81149485143925e+135
9
-1.8340454840216407e+116
-4.9381474305629235e+107
-3.802827698926984e+113

simplify372.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.6s7987×body80nan
1.1s8000×body80valid