Details

Time bar (total: 7.4s)

sample33.0ms

Algorithm
intervals
Results
18.0ms289×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (33.0ms)

IterNodesCost
01011
12011
24811
310310
419410
531810
648010
766410
895910
9104210
10107310
done107310

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 1 expressions with local error:

0.0b
(* x (- y 1.0))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
18×prod-diff
17×*-un-lft-identity
15×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
5×associate-*r*
3×pow1 add-exp-log associate-*l* add-cbrt-cube
2×sub-neg associate-*r/
1×expm1-log1p-u flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod log1p-expm1-u distribute-lft-out-- add-log-exp difference-of-squares unswap-sqr
Counts
1 → 46
Calls
1 calls:
46.0ms
(* x (- y 1.0))

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(* x (- y 1.0))

simplify1.5s

Counts
49 → 49
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0102721
1192554
2392438
31435396
done5002342

prune94.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* x y) (* x (- 1.0)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
2×distribute-rgt-neg-out
1×pow1 add-exp-log +-commutative add-sqr-sqrt expm1-log1p-u add-cube-cbrt fma-def *-un-lft-identity flip3-+ unsub-neg sum-log add-cbrt-cube flip-+ log1p-expm1-u distribute-lft-out
Counts
1 → 17
Calls
1 calls:
11.0ms
(+ (* x y) (* x (- 1.0)))

series52.0ms

Counts
1 → 3
Calls
1 calls:
52.0ms
(+ (* x y) (* x (- 1.0)))

simplify3.0s

Counts
20 → 20
Iterations

Useful iterations: done (3.0s)

IterNodesCost
033206
1114146
2452133
31842129
done5001127

prune51.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes0.0ms