Details

Time bar (total: 9.1s)

sample44.0ms

Algorithm
intervals
Results
30.0ms443×body80valid

simplify22.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0811
1159
2249
3269
done269

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ 2.0 x))
0.0b
(+ (* y y) (* x (+ 2.0 x)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-exp-log add-cube-cbrt associate-*r* add-cbrt-cube add-log-exp
3×associate-*l*
2×distribute-rgt-in associate-+r+ distribute-lft-in flip3-+ associate-*r/ flip-+
1×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
2 → 36
Calls
2 calls:
20.0ms
(* x (+ 2.0 x))
15.0ms
(+ (* y y) (* x (+ 2.0 x)))

series107.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(* x (+ 2.0 x))
55.0ms
(+ (* y y) (* x (+ 2.0 x)))

simplify1.9s

Counts
42 → 42
Iterations

Useful iterations: 2 (127.0ms)

IterNodesCost
070422
1201386
2692350
33316350
done5001350

prune116.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ 2.0 x))
0.0b
(+ (* y y) (* (* x (sqrt (+ 2.0 x))) (sqrt (+ 2.0 x))))
0.3b
(* x (sqrt (+ 2.0 x)))
0.4b
(* (* x (sqrt (+ 2.0 x))) (sqrt (+ 2.0 x)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity sqrt-div
15×add-sqr-sqrt
14×associate-*r*
13×sqrt-prod
12×pow1
11×add-exp-log add-cbrt-cube
10×add-cube-cbrt associate-*r/
9×flip3-+ flip-+
6×add-log-exp
4×frac-times associate-*l* pow-prod-down prod-exp cbrt-unprod
3×distribute-lft-out
2×associate-*l/ *-commutative unswap-sqr
1×+-commutative rem-sqrt-square sqrt-pow1 pow1/2 sum-log
Counts
4 → 82
Calls
4 calls:
9.0ms
(sqrt (+ 2.0 x))
10.0ms
(+ (* y y) (* (* x (sqrt (+ 2.0 x))) (sqrt (+ 2.0 x))))
29.0ms
(* x (sqrt (+ 2.0 x)))
53.0ms
(* (* x (sqrt (+ 2.0 x))) (sqrt (+ 2.0 x)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(sqrt (+ 2.0 x))
51.0ms
(+ (* y y) (* (* x (sqrt (+ 2.0 x))) (sqrt (+ 2.0 x))))
113.0ms
(* x (sqrt (+ 2.0 x)))
79.0ms
(* (* x (sqrt (+ 2.0 x))) (sqrt (+ 2.0 x)))

simplify3.2s

Counts
94 → 94
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
01461336
13811000
21096886
34216881
done5000881

prune268.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x x) (* 2.0 x))
0.0b
(+ (* y y) (/ (* x (+ (pow 2.0 3) (pow x 3))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))))
0.0b
(* x (+ (pow 2.0 3) (pow x 3)))
12.0b
(/ (* x (+ (pow 2.0 3) (pow x 3))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))

rewrite260.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
11×add-exp-log add-cbrt-cube
10×add-sqr-sqrt
9×associate-*r*
8×add-cube-cbrt add-log-exp
6×pow1
5×distribute-lft-out
4×unpow-prod-down flip3-+ cube-prod associate-*r/ flip-+
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/
1×+-commutative distribute-rgt-in sub-neg flip3-- distribute-rgt-out-- frac-2neg distribute-lft-in diff-log pow-prod-down clear-num sum-log sum-cubes *-commutative flip-- div-inv associate-/l* unswap-sqr
Counts
4 → 77
Calls
4 calls:
8.0ms
(- (* x x) (* 2.0 x))
74.0ms
(+ (* y y) (/ (* x (+ (pow 2.0 3) (pow x 3))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))))
97.0ms
(* x (+ (pow 2.0 3) (pow x 3)))
79.0ms
(/ (* x (+ (pow 2.0 3) (pow x 3))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))

series684.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(- (* x x) (* 2.0 x))
146.0ms
(+ (* y y) (/ (* x (+ (pow 2.0 3) (pow x 3))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))))
147.0ms
(* x (+ (pow 2.0 3) (pow x 3)))
279.0ms
(/ (* x (+ (pow 2.0 3) (pow x 3))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))

simplify1.7s

Counts
89 → 89
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01571798
14601506
217591340
done50011336

prune352.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes1.0ms