Details

Time bar (total: 21.3s)

sample130.0ms

Algorithm
intervals
Results
55.0ms256×body80valid
53.0ms270×body80nan

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5049
81164
7342
6154
596
488
352
237
126
018

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

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

series216.0ms

Counts
2 → 6
Calls
2 calls:
97.0ms
(log (hypot re im))
118.0ms
(/ (log (hypot re im)) (log base))

simplify2.5s

Counts
60 → 60
Iterations
IterNodes
done5007
54627
41792
3714
2270
1135
085

prune221.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
26×times-frac
23×*-un-lft-identity
22×add-cube-cbrt
17×add-exp-log
16×associate-*r*
15×pow1
10×add-cbrt-cube
9×log-pow
4×associate-/r* div-exp associate-*l* prod-exp
3×expm1-log1p-u log-prod insert-posit16 log1p-expm1-u associate-/l* add-log-exp unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod div-inv
1×clear-num frac-2neg rem-log-exp pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
3 → 96
Calls
3 calls:
5.0ms
(log (hypot re im))
6.0ms
(/ 1 (log base))
16.0ms
(* (log (hypot re im)) (/ 1 (log base)))

series426.0ms

Counts
3 → 9
Calls
3 calls:
90.0ms
(log (hypot re im))
200.0ms
(/ 1 (log base))
136.0ms
(* (log (hypot re im)) (/ 1 (log base)))

simplify2.7s

Counts
105 → 105
Iterations
IterNodes
done5013
54499
41984
31367
2764
1248
0125

prune407.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt *-un-lft-identity
35×log-pow
34×pow1
30×add-cube-cbrt
26×times-frac associate-*l*
19×add-exp-log
16×associate-*r*
12×log-prod
11×add-cbrt-cube
10×distribute-rgt-out
8×sqrt-pow1 pow1/2 distribute-lft-out
6×sqrt-prod
4×expm1-log1p-u associate-/r* div-exp prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l* unswap-sqr
2×frac-times cbrt-undiv rec-exp distribute-lft1-in flip3-+ 1-exp rem-log-exp associate-*l/ distribute-rgt1-in cbrt-unprod flip-+ div-inv
1×clear-num frac-2neg count-2 pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 147
Calls
4 calls:
3.0ms
(log (sqrt (hypot re im)))
3.0ms
(log (sqrt (hypot re im)))
6.0ms
(/ 1 (log base))
46.0ms
(* (+ (log (sqrt (hypot re im))) (log (sqrt (hypot re im)))) (/ 1 (log base)))

series743.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(log (sqrt (hypot re im)))
148.0ms
(log (sqrt (hypot re im)))
233.0ms
(/ 1 (log base))
212.0ms
(* (+ (log (sqrt (hypot re im))) (log (sqrt (hypot re im)))) (/ 1 (log base)))

simplify2.1s

Counts
159 → 159
Iterations
IterNodes
done5000
34429
21485
1503
0215

prune688.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (+ (+ (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (log (cbrt (hypot re im)))) (log base))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))
0.6b
(cbrt (hypot re im))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
175×*-un-lft-identity
168×log-pow
157×pow1
128×times-frac
125×distribute-lft-out
75×add-sqr-sqrt
60×add-cube-cbrt
55×distribute-lft1-in distribute-rgt-out
32×associate-/l*
30×distribute-rgt1-in
18×pow1/3
15×count-2
9×cbrt-prod
6×add-cbrt-cube add-exp-log
4×expm1-log1p-u associate-/r* 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 → 223
Calls
4 calls:
93.0ms
(/ (+ (+ (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (log (cbrt (hypot re im)))) (log base))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))
1.0ms
(cbrt (hypot re im))

series540.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(/ (+ (+ (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (log (cbrt (hypot re im)))) (log base))
126.0ms
(cbrt (hypot re im))
126.0ms
(cbrt (hypot re im))
121.0ms
(cbrt (hypot re im))

simplify2.9s

Counts
235 → 235
Iterations
IterNodes
done5000
33590
2886
1338
0167

prune616.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes328.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done16
116
012

end0.0ms

sample4.7s

Algorithm
intervals
Results
2.2s8000×body80valid
2.1s7673×body80nan