Details

Time bar (total: 21.2s)

sample93.0ms

Algorithm
intervals
Results
35.0ms241×body80nan
34.0ms256×body80valid

simplify5.8s

Counts
1 → 1
Iterations
IterNodes
done5529
83678
7666
6215
580
475
351
236
126
018

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize25.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ (log (hypot re im)) (log base))

rewrite19.0ms

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

series156.0ms

Counts
1 → 3
Calls
1 calls:
156.0ms
(/ (log (hypot re im)) (log base))

simplify2.7s

Counts
42 → 42
Iterations
IterNodes
done5000
42070
3673
2283
1122
072

prune209.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ 1 (/ (log base) (log (hypot re im))))
0.4b
(/ (log base) (log (hypot re im)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
140×times-frac
69×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
45×pow1
42×log-pow
24×associate-/r*
15×add-exp-log
9×add-cbrt-cube
8×div-exp
7×associate-/l*
6×div-inv
4×cbrt-undiv
2×expm1-log1p-u rec-exp clear-num frac-2neg 1-exp insert-posit16 log1p-expm1-u add-log-exp
1×associate-/r/ pow-flip inv-pow
Counts
2 → 146
Calls
2 calls:
11.0ms
(/ 1 (/ (log base) (log (hypot re im))))
9.0ms
(/ (log base) (log (hypot re im)))

series317.0ms

Counts
2 → 6
Calls
2 calls:
152.0ms
(/ 1 (/ (log base) (log (hypot re im))))
165.0ms
(/ (log base) (log (hypot re im)))

simplify2.3s

Counts
152 → 152
Iterations
IterNodes
done5001
32692
2856
1398
0176

prune365.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ (log (hypot re im)) (log base))

rewrite9.0ms

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

series111.0ms

Counts
1 → 3
Calls
1 calls:
111.0ms
(/ (log (hypot re im)) (log base))

simplify2.1s

Counts
42 → 42
Iterations
IterNodes
done5000
42070
3673
2283
1122
072

prune164.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ 1 (log base))
0.3b
(/ 1 (log (hypot re im)))
0.3b
(/ (/ 1 (log base)) (/ 1 (log (hypot re im))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
688×times-frac
293×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
115×pow1
110×log-pow
51×add-exp-log
37×div-inv
36×div-exp
24×associate-/r*
22×associate-/l*
19×add-cbrt-cube
10×cbrt-undiv rec-exp 1-exp
3×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
2×pow-flip inv-pow
1×associate-/r/ associate-/l/
Counts
3 → 399
Calls
3 calls:
9.0ms
(/ 1 (log base))
5.0ms
(/ 1 (log (hypot re im)))
23.0ms
(/ (/ 1 (log base)) (/ 1 (log (hypot re im))))

series489.0ms

Counts
3 → 9
Calls
3 calls:
218.0ms
(/ 1 (log base))
116.0ms
(/ 1 (log (hypot re im)))
155.0ms
(/ (/ 1 (log base)) (/ 1 (log (hypot re im))))

simplify2.0s

Counts
408 → 408
Iterations
IterNodes
done5000
22561
11223
0422

prune761.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0b

regimes289.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done12
112
09

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.5s7906×body80nan
1.2s8000×body80valid