Details

Time bar (total: 6.5s)

sample31.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify17.0ms

Counts
1 → 1
Iterations
IterNodes
done19
319
217
114
07

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.2b

localize31.0ms

Local error

Found 1 expressions with local error:

8.2b
(/ (- k m) (+ 1.0 (* m k)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity
15×times-frac
11×add-cube-cbrt
associate-/l*
distribute-lft-out-- difference-of-squares
associate-/r* add-cbrt-cube add-exp-log
associate-/r/ associate-/l/
pow1 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp flip-+ div-inv flip-- add-log-exp
Counts
1 → 40
Calls
1 calls:
38.0ms
(/ (- k m) (+ 1.0 (* m k)))

series81.0ms

Counts
1 → 3
Calls
1 calls:
80.0ms
(/ (- k m) (+ 1.0 (* m k)))

simplify1.5s

Counts
43 → 43
Iterations
IterNodes
done5000
21075
1252
097

prune318.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ k (+ 1.0 (* m k))) (/ m (+ 1.0 (* m k))))
8.1b
(/ k (+ 1.0 (* m k)))
8.1b
(/ m (+ 1.0 (* m k)))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
29×*-un-lft-identity
28×times-frac
21×add-cube-cbrt
associate-/r/
add-cbrt-cube add-exp-log
associate-/r* associate-/l*
add-log-exp
flip3-+ flip-+ div-inv distribute-lft-out-- difference-of-squares
pow1 distribute-rgt-out--
cbrt-undiv clear-num frac-2neg div-exp
sub-neg flip3-- diff-log frac-sub flip-- sub-div
Counts
3 → 83
Calls
3 calls:
111.0ms
(- (/ k (+ 1.0 (* m k))) (/ m (+ 1.0 (* m k))))
18.0ms
(/ k (+ 1.0 (* m k)))
26.0ms
(/ m (+ 1.0 (* m k)))

series316.0ms

Counts
3 → 9
Calls
3 calls:
112.0ms
(- (/ k (+ 1.0 (* m k))) (/ m (+ 1.0 (* m k))))
101.0ms
(/ k (+ 1.0 (* m k)))
103.0ms
(/ m (+ 1.0 (* m k)))

simplify2.2s

Counts
92 → 92
Iterations
IterNodes
done5000
21827
1418
0169

prune660.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes213.0ms

Accuracy

49.8% (3.9b remaining)

Error of 3.9b against oracle of 0.0b and baseline of 7.7b

bsearch135.0ms

Steps
ItersRangePoint
9
3.1944803640119396e+147
5.537560885300902e+155
9.936990673805699e+151
8
-1.5084840929822663e+143
-2.4509433200373722e+138
-3.5745505736088285e+142

simplify8.0ms

Iterations
IterNodes
done30
130
022

end0.0ms

sample832.0ms

Algorithm
intervals
Results
560.0ms7999×body80valid
3.0msbody2560valid