Details

Time bar (total: 8.3s)

sample54.0ms

Algorithm
intervals
Results
20.0ms336×body80valid
0.0msbody160valid

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1139
2299
3699
41909
54949
616519
done50009

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 1 expressions with local error:

0.1b
(* (- f 1.0) (- 1.0 (/ b m)))

rewrite100.0ms

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

series62.0ms

Counts
1 → 3
Calls
1 calls:
62.0ms
(* (- f 1.0) (- 1.0 (/ b m)))

simplify892.0ms

Counts
38 → 38
Iterations

Useful iterations: done (890.0ms)

IterNodesCost
089569
1248552
21165518
done5000516

prune191.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1.0 (- f 1.0)) (* (- f 1.0) (- (/ b m))))
4.2b
(* (- f 1.0) (- (/ b m)))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
30×associate-*r*
22×add-sqr-sqrt
20×*-un-lft-identity
18×times-frac add-cube-cbrt
13×distribute-lft-neg-in distribute-rgt-neg-in associate-*r/
11×flip3-- flip--
10×frac-add
distribute-neg-frac
frac-times associate-*l/
associate-*l*
pow1 associate-+l+ add-cbrt-cube add-exp-log add-log-exp
distribute-rgt-neg-out
distribute-rgt-in sub-neg distribute-lft-in div-inv
+-commutative neg-mul-1 sum-log flip3-+ unsub-neg pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 80
Calls
2 calls:
46.0ms
(+ (* 1.0 (- f 1.0)) (* (- f 1.0) (- (/ b m))))
75.0ms
(* (- f 1.0) (- (/ b m)))

series157.0ms

Counts
2 → 6
Calls
2 calls:
85.0ms
(+ (* 1.0 (- f 1.0)) (* (- f 1.0) (- (/ b m))))
72.0ms
(* (- f 1.0) (- (/ b m)))

simplify3.0s

Counts
86 → 86
Iterations

Useful iterations: 2 (613.0ms)

IterNodesCost
01881461
15801370
231391291
done50001291

prune497.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes191.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01014
11714
22114
32214
done2214

end0.0ms

sample1.4s

Algorithm
intervals
Results
738.0ms10123×body80valid
1.0msbody1280valid
0.0msbody2560valid
0.0msbody320valid
0.0msbody160valid