Details

Time bar (total: 5.3s)

sample131.0ms

Algorithm
halfpoints

simplify114.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
1118
2208
3308
4458
5538
6598
7658
8678
done678

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.1b

localize14.0ms

Local error

Found 1 expressions with local error:

0.1b
(* x (- 1.0f0 (/ b m)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
associate-*r*
*-un-lft-identity
pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
distribute-rgt-in sub-neg distribute-lft-in associate-*r/ difference-of-squares
times-frac flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-- distribute-lft-out-- add-log-exp unswap-sqr
Counts
1 → 27
Calls
1 calls:
71.0ms
(* x (- 1.0f0 (/ b m)))

series64.0ms

Counts
1 → 3
Calls
1 calls:
64.0ms
(* x (- 1.0f0 (/ b m)))

simplify1.6s

Counts
30 → 30
Iterations

Useful iterations: 3 (617.0ms)

IterNodesCost
060295
1151290
2470258
31918256
done5001256

prune138.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune1.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes391.0ms

Accuracy

50.9% (5.4b remaining)

Error of 5.4b against oracle of 0.0b and baseline of 10.9b

bsearch1.0ms

Steps
ItersRangePoint
0
1.3487693266312314e+83
1.879939435944915e+83
+inf.f
0
-2.1056609650729695e-304
-1.2275851904857946e-305
0.0f0

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02856
13356
done3356

end0.0ms

sample2.7s

Algorithm
halfpoints