Details

Time bar (total: 17.3s)

sample32.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify6.0ms

Counts
1 → 1
Iterations
IterNodes
done15
215
113
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize13.0ms

Local error

Found 1 expressions with local error:

0.7b
(/ (log (hypot re im)) (log 10))

rewrite7.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:
6.0ms
(/ (log (hypot re im)) (log 10))

series267.0ms

Counts
1 → 3
Calls
1 calls:
267.0ms
(/ (log (hypot re im)) (log 10))

simplify3.7s

Counts
42 → 42
Iterations
IterNodes
done5000
54553
41610
3681
2255
1118
067

prune185.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.0ms

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

series448.0ms

Counts
2 → 6
Calls
2 calls:
214.0ms
(* (/ 1 (sqrt (log 10))) (/ (log (hypot re im)) (sqrt (log 10))))
234.0ms
(/ (log (hypot re im)) (sqrt (log 10)))

simplify2.4s

Counts
159 → 159
Iterations
IterNodes
done5001
33285
21366
1474
0178

prune567.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
76×add-exp-log
46×times-frac
45×add-sqr-sqrt
40×prod-exp
35×*-un-lft-identity
33×add-cube-cbrt
29×associate-*r*
28×add-cbrt-cube
26×associate-*l* sqrt-prod
20×div-exp
16×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 distribute-lft-in
2×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp
1×frac-times associate-*r/ un-div-inv
Counts
2 → 128
Calls
2 calls:
50.0ms
(* (* (/ 1 (sqrt (log 10))) (log (hypot re im))) (/ 1 (sqrt (log 10))))
31.0ms
(* (/ 1 (sqrt (log 10))) (log (hypot re im)))

series514.0ms

Counts
2 → 6
Calls
2 calls:
204.0ms
(* (* (/ 1 (sqrt (log 10))) (log (hypot re im))) (/ 1 (sqrt (log 10))))
310.0ms
(* (/ 1 (sqrt (log 10))) (log (hypot re im)))

simplify2.7s

Counts
134 → 134
Iterations
IterNodes
done5001
33218
21437
1516
0193

prune525.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize58.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))

rewrite45.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:
27.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))

series868.0ms

Counts
4 → 12
Calls
4 calls:
391.0ms
(/ (+ (log (cbrt (hypot re im))) (log (cbrt (hypot re im)))) (sqrt (log 10)))
142.0ms
(cbrt (hypot re im))
154.0ms
(cbrt (hypot re im))
181.0ms
(cbrt (hypot re im))

simplify1.9s

Counts
254 → 254
Iterations
IterNodes
done5002
32303
2855
1380
0206

prune962.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes176.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
done15
115
011

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.5s8000×body80valid