Details

Time bar (total: 20.4s)

sample39.0ms

Algorithm
intervals
Results
26.0ms256×body80valid

simplify30.0ms

Counts
1 → 1

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize22.0ms

Local error

Found 2 expressions with local error:

0.6b
(/ (log (hypot re im)) (log 10))
0.0b
(hypot re im)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
16×times-frac
12×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
10×log-pow
4×associate-/r* add-cbrt-cube add-exp-log associate-/l*
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv hypot-udef clear-num frac-2neg div-exp div-inv
Counts
2 → 50
Calls
2 calls:
Slowest
9.0ms
(/ (log (hypot re im)) (log 10))
0.0ms
(hypot re im)

series290.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
224.0ms
(/ (log (hypot re im)) (log 10))
65.0ms
(hypot re im)

simplify2.7s

Counts
56 → 56

prune514.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 3 expressions with local error:

0.5b
(/ (log (hypot re im)) (sqrt (log 10)))
0.3b
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
0.0b
(hypot re im)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
97×add-sqr-sqrt
59×sqrt-prod
57×*-un-lft-identity
51×add-cube-cbrt
32×pow1 associate-*r*
27×add-exp-log log-pow
25×associate-*l*
17×add-cbrt-cube
15×unswap-sqr
9×div-exp
8×prod-exp
7×associate-/r*
5×cbrt-undiv
4×cbrt-unprod associate-/l*
3×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
2×rec-exp 1-exp
1×frac-times hypot-udef clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
3 → 164
Calls
3 calls:
Slowest
20.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
7.0ms
(/ (log (hypot re im)) (sqrt (log 10)))
0.0ms
(hypot re im)

series567.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
276.0ms
(/ (log (hypot re im)) (sqrt (log 10)))
223.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
68.0ms
(hypot re im)

simplify2.0s

Counts
173 → 173

prune1.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.3b
(* (/ 1 (sqrt (log 10))) (log (hypot re im)))
0.3b
(* (* (/ 1 (sqrt (log 10))) (log (hypot re im))) (/ 1 (sqrt (log 10))))
0.0b
(hypot re im)

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
77×add-exp-log
46×add-sqr-sqrt times-frac
40×prod-exp
36×*-un-lft-identity
34×add-cube-cbrt
29×add-cbrt-cube associate-*r*
26×associate-*l* sqrt-prod
20×div-exp
17×pow1
12×cbrt-unprod
10×rec-exp 1-exp
7×log-pow
6×cbrt-undiv log-prod
5×unswap-sqr
4×pow-prod-down associate-*l/
3×distribute-rgt-in expm1-log1p-u distribute-lft-in insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative div-inv
1×frac-times hypot-udef associate-*r/ un-div-inv
Counts
3 → 139
Calls
3 calls:
Slowest
60.0ms
(* (* (/ 1 (sqrt (log 10))) (log (hypot re im))) (/ 1 (sqrt (log 10))))
15.0ms
(* (/ 1 (sqrt (log 10))) (log (hypot re im)))
0.0ms
(hypot re im)

series608.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
319.0ms
(* (/ 1 (sqrt (log 10))) (log (hypot re im)))
216.0ms
(* (* (/ 1 (sqrt (log 10))) (log (hypot re im))) (/ 1 (sqrt (log 10))))
73.0ms
(hypot re im)

simplify2.3s

Counts
148 → 148

prune1.6s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
147×times-frac
139×*-un-lft-identity
134×log-pow
106×pow1
91×add-sqr-sqrt add-cube-cbrt
88×sqrt-prod
56×distribute-rgt-out distribute-lft-out
35×pow1/3
21×associate-/l*
16×distribute-lft1-in distribute-rgt1-in
9×cbrt-prod
7×associate-/r*
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ div-inv
Counts
4 → 234
Calls
4 calls:
Slowest
42.0ms
(/ (+ (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (sqrt (log 10)))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))

series914.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
401.0ms
(/ (+ (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (sqrt (log 10)))
188.0ms
(cbrt (hypot re im))
171.0ms
(cbrt (hypot re im))
154.0ms
(cbrt (hypot re im))

simplify974.0ms

Counts
246 → 246

prune3.5s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes195.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch2.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.6s8000×body80valid