Details

Time bar (total: 4.0s)

sample51.0ms

Algorithm
intervals
Results
17.0msbody320valid
7.0ms133×body80valid
7.0ms37×body640valid
3.0ms69×body80nan
1.0msbody1280valid
0.0msbody160valid

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1129
2139
done139

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize13.0ms

Local error

Found 1 expressions with local error:

0.5b
(- (sqrt (+ x 2.0f0)) (sqrt (+ x 1.0f0)))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
12×sqrt-prod
add-sqr-sqrt
sqrt-div
distribute-lft-out--
flip3-+ frac-sub flip-+ distribute-lft-out difference-of-squares
add-log-exp
pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip--
Counts
1 → 25
Calls
1 calls:
105.0ms
(- (sqrt (+ x 2.0f0)) (sqrt (+ x 1.0f0)))

series176.0ms

Counts
1 → 3
Calls
1 calls:
176.0ms
(- (sqrt (+ x 2.0f0)) (sqrt (+ x 1.0f0)))

simplify2.3s

Counts
28 → 28
Iterations

Useful iterations: done (2.3s)

IterNodesCost
0108609
1251564
2804538
33124536
done5000534

prune146.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize31.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune5.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01215
11714
done1714

end0.0ms

sample1.1s

Algorithm
intervals
Results
295.0ms1262×body640valid
276.0ms4066×body80valid
171.0ms407×body320valid
105.0ms2017×body80nan
20.0ms84×body1280valid
16.0ms164×body160valid