Add x1 tan acoth Pow Mul Mul x0 Mul x0 x5 acsch E x0 
Mul Pow sec acoth Pow Mul Mul x0 Mul x0 x5 acsch E x0 2 Mul Mul Pow Mul Mul x0 Mul x0 x5 acsch E Add x0 -1 Add Mul x0 Mul acsch E Add Mul x0 x5 Mul x0 x5 Mul Mul Mul x0 Mul x0 x5 acsch E log Mul Mul x0 Mul x0 x5 acsch E Pow Add 1 Mul -1 Mul Pow Mul Mul x0 Mul x0 x5 acsch E x0 Pow Mul Mul x0 Mul x0 x5 acsch E x0 -1 