Details

Time bar (total: 27.6s)

sample52.0ms

Algorithm
intervals
Results
38.0ms256×body80valid

simplify12.0ms

Counts
1 → 1
Iterations
IterNodes
314
214
113
010

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.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:
0.0ms
(hypot re im)
7.0ms
(/ (log (hypot re im)) (log 10))

series295.0ms

Counts
2 → 6
Calls
2 calls:
76.0ms
(hypot re im)
218.0ms
(/ (log (hypot re im)) (log 10))

simplify5.1s

Counts
56 → 56
Iterations
IterNodes
54593
41817
3660
2300
1135
080

prune544.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite43.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:
0.0ms
(hypot re im)
30.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
7.0ms
(/ (log (hypot re im)) (sqrt (log 10)))

series649.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(hypot re im)
227.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
368.0ms
(/ (log (hypot re im)) (sqrt (log 10)))

simplify5.7s

Counts
173 → 173
Iterations
IterNodes
33322
21252
1491
0191

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite108.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:
0.0ms
(hypot re im)
76.0ms
(* (* (/ 1 (sqrt (log 10))) (log (hypot re im))) (/ 1 (sqrt (log 10))))
28.0ms
(* (/ 1 (sqrt (log 10))) (log (hypot re im)))

series621.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(hypot re im)
231.0ms
(* (* (/ 1 (sqrt (log 10))) (log (hypot re im))) (/ 1 (sqrt (log 10))))
325.0ms
(* (/ 1 (sqrt (log 10))) (log (hypot re im)))

simplify3.7s

Counts
148 → 148
Iterations
IterNodes
33032
21283
1528
0203

prune1.7s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
154×times-frac
141×*-un-lft-identity
135×log-pow
107×pow1
93×add-sqr-sqrt add-cube-cbrt
92×sqrt-prod
56×distribute-rgt-out distribute-lft-out
35×pow1/3
22×associate-/l*
16×distribute-lft1-in distribute-rgt1-in
9×cbrt-prod
8×count-2
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 → 242
Calls
4 calls:
34.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))

series778.0ms

Counts
4 → 12
Calls
4 calls:
356.0ms
(/ (+ (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (sqrt (log 10)))
136.0ms
(cbrt (hypot re im))
140.0ms
(cbrt (hypot re im))
146.0ms
(cbrt (hypot re im))

simplify1.0s

Counts
254 → 254
Iterations
IterNodes
32101
2745
1368
0206

prune3.4s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

regimes167.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
213
113
011

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.5s8000×body80valid