Pow Mul acoth E x0 Add acoth Pow Add x0 Pow x1 Mul x0 x5 x5 x0 
Mul Pow Mul acoth E x0 Add Add acoth Pow Add x0 Pow x1 Mul x0 x5 x5 x0 -1 Add Mul Add acoth Pow Add x0 Pow x1 Mul x0 x5 x5 x0 acoth E Mul Mul Mul acoth E x0 log Mul acoth E x0 Add Mul Mul Pow Add x0 Pow x1 Mul x0 x5 Add x5 -1 Mul x5 Add 1 Mul Pow x1 Add Mul x0 x5 -1 Mul Mul x1 log x1 x5 Pow Add 1 Mul -1 Mul Pow Add x0 Pow x1 Mul x0 x5 x5 Pow Add x0 Pow x1 Mul x0 x5 x5 -1 1 