Details

Time bar (total: 7.9s)

sample130.0ms

Algorithm
halfpoints

simplify36.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11510
23210
34910
done4910

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (sqrt x) 1.0)
0.0b
(+ (+ (sqrt x) 1.0) 1.0)

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
sum-log distribute-lft-out
add-sqr-sqrt pow1 +-commutative flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
associate-+l+
Counts
2 → 27
Calls
2 calls:
16.0ms
(+ (sqrt x) 1.0)
109.0ms
(+ (+ (sqrt x) 1.0) 1.0)

series119.0ms

Counts
2 → 6
Calls
2 calls:
62.0ms
(+ (sqrt x) 1.0)
57.0ms
(+ (+ (sqrt x) 1.0) 1.0)

simplify2.3s

Counts
33 → 33
Iterations

Useful iterations: done (2.3s)

IterNodesCost
063342
1172308
2541270
32742257
done5000253

prune170.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (sqrt x) (+ 1.0 1.0))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
sum-log distribute-lft-out
add-sqr-sqrt pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 15
Calls
1 calls:
49.0ms
(+ (sqrt x) (+ 1.0 1.0))

series59.0ms

Counts
1 → 3
Calls
1 calls:
59.0ms
(+ (sqrt x) (+ 1.0 1.0))

simplify1.7s

Counts
18 → 18
Iterations

Useful iterations: 3 (610.0ms)

IterNodesCost
049200
1137180
2479156
32105154
done5000154

prune88.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11010
done1010

end0.0ms

sample3.1s

Algorithm
halfpoints