Pow acoth sqrt Mul x0 Pow x5 5 acot x0 
Mul Pow acoth sqrt Mul x0 Pow x5 5 Add acot x0 -1 Add Mul acot x0 Mul Mul Pow Mul 2 sqrt Mul x0 Pow x5 5 -1 Pow x5 5 Pow Add 1 Mul -1 Mul sqrt Mul x0 Pow x5 5 sqrt Mul x0 Pow x5 5 -1 Mul Mul acoth sqrt Mul x0 Pow x5 5 log acoth sqrt Mul x0 Pow x5 5 Mul -1 Pow Add 1 Mul x0 x0 -1 