Details

Time bar (total: 4.2s)

sample15.0ms

Algorithm
intervals
Results
5.0ms257×body80valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done12
412
311
29
16
04

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (+ x y) x)

rewrite22.0ms

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

series48.0ms

Counts
1 → 3
Calls
1 calls:
48.0ms
(+ (+ x y) x)

simplify588.0ms

Counts
18 → 18
Iterations
IterNodes
done5000
31085
2246
181
032

prune44.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ x (+ x y)))
0.0b
(+ x (+ x y))
0.0b
(+ x (+ x y))
0.2b
(* (sqrt (+ x (+ x y))) (sqrt (+ x (+ x y))))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
72×*-un-lft-identity
43×sqrt-prod
33×distribute-lft-out
26×add-sqr-sqrt
20×pow1
16×swap-sqr
14×sqrt-div add-log-exp
13×add-cube-cbrt
9×sqrt-pow1 flip3-+ pow1/2 flip-+
8×associate-*r* associate-*l*
6×sum-log add-cbrt-cube add-exp-log
5×pow-prod-up
4×frac-times unswap-sqr
3×pow-prod-down pow-sqr
2×+-commutative associate-+r+ associate-*l/ associate-*r/
1×pow2 rem-sqrt-square rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 116
Calls
4 calls:
18.0ms
(sqrt (+ x (+ x y)))
16.0ms
(+ x (+ x y))
12.0ms
(+ x (+ x y))
142.0ms
(* (sqrt (+ x (+ x y))) (sqrt (+ x (+ x y))))

series161.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(sqrt (+ x (+ x y)))
29.0ms
(+ x (+ x y))
34.0ms
(+ x (+ x y))
42.0ms
(* (sqrt (+ x (+ x y))) (sqrt (+ x (+ x y))))

simplify749.0ms

Counts
128 → 128
Iterations
IterNodes
done5002
21381
1281
0119

prune376.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ x (+ x y)))
0.0b
(sqrt (+ (* 2 x) y))
0.0b
(+ x (+ x y))
0.2b
(* (sqrt (+ (* 2 x) y)) (sqrt (+ x (+ x y))))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
20×add-sqr-sqrt sqrt-prod
16×sqrt-div
10×pow1 add-cube-cbrt
9×flip3-+ flip-+ distribute-lft-out add-log-exp
8×associate-*r*
6×add-cbrt-cube associate-*l* add-exp-log
4×frac-times sqrt-pow1 pow1/2 unswap-sqr
3×sum-log pow-prod-down
2×rem-sqrt-square associate-*l/ associate-*r/
1×+-commutative associate-+r+ sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
19.0ms
(sqrt (+ x (+ x y)))
7.0ms
(sqrt (+ (* 2 x) y))
20.0ms
(+ x (+ x y))
88.0ms
(* (sqrt (+ (* 2 x) y)) (sqrt (+ x (+ x y))))

series224.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(sqrt (+ x (+ x y)))
69.0ms
(sqrt (+ (* 2 x) y))
27.0ms
(+ x (+ x y))
63.0ms
(* (sqrt (+ (* 2 x) y)) (sqrt (+ x (+ x y))))

simplify763.0ms

Counts
99 → 99
Iterations
IterNodes
done5002
21668
1338
0133

prune462.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize10.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune6.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations
IterNodes
done5
15
04

end0.0ms

sample393.0ms

Algorithm
intervals
Results
223.0ms8003×body80valid