Details

Time bar (total: 4.1s)

sample28.0ms

Algorithm
intervals
Results
15.0ms399×body80valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
04121
1781
2981
31881
43781
511481
638681
7149781
done500181

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (* (* d1 d1) d1) d1)
0.1b
(* (* d1 d1) d1)

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
67×pow1
27×pow-plus pow-prod-up
16×add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
6×pow2 associate-*r* pow-sqr
5×add-sqr-sqrt
4×*-un-lft-identity add-cube-cbrt
3×pow3
2×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
1×unswap-sqr
Counts
2 → 71
Calls
2 calls:
65.0ms
(* (* (* d1 d1) d1) d1)
31.0ms
(* (* d1 d1) d1)

series115.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(* (* (* d1 d1) d1) d1)
61.0ms
(* (* d1 d1) d1)

simplify1.5s

Counts
77 → 77
Iterations

Useful iterations: 2 (306.0ms)

IterNodesCost
06010637
11656818
212565592
done50005592

prune170.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize7.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune6.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03212
done3212

end0.0ms

sample960.0ms

Algorithm
intervals
Results
740.0ms12921×body80valid