Details

Time bar (total: 7.3s)

sample27.0ms

Algorithm
intervals
Results
12.0ms330×body80valid

simplify61.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1107
2237
3447
4587
done587

prune1.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 (- 1.0 (* x 0.5)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×prod-diff
5×distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in
3×pow1 add-exp-log associate-*r* 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 add-log-exp unswap-sqr
Counts
1 → 32
Calls
1 calls:
18.0ms
(* x (- 1.0 (* x 0.5)))

series90.0ms

Counts
1 → 3
Calls
1 calls:
90.0ms
(* x (- 1.0 (* x 0.5)))

simplify1.9s

Counts
35 → 35
Iterations

Useful iterations: done (1.9s)

IterNodesCost
071411
1151408
2382356
31330347
done5000311

prune93.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 0.5 (pow x 2))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×associate-*r*
6×add-exp-log
4×add-cube-cbrt unpow-prod-down *-un-lft-identity unswap-sqr
3×associate-*l* prod-exp add-cbrt-cube
2×unpow2 sqr-pow
1×pow1 expm1-log1p-u pow-to-exp pow-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp
Counts
1 → 29
Calls
1 calls:
22.0ms
(* 0.5 (pow x 2))

series36.0ms

Counts
1 → 3
Calls
1 calls:
36.0ms
(* 0.5 (pow x 2))

simplify3.9s

Counts
32 → 32
Iterations

Useful iterations: 4 (1.6s)

IterNodesCost
053244
1109221
2237188
3672188
43356185
done5001185

prune86.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify7.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11610
21810
done1810

end0.0ms

sample1.1s

Algorithm
intervals
Results
810.0ms10620×body80valid