Mul acsch Mul Mul x5 sec x0 Add Add x2 Mul acoth pi log x0 x0 x0 
Add Mul x0 Mul Mul -1 Add Mul Add Add x2 Mul acoth pi log x0 x0 Mul x5 Mul tan x0 sec x0 Mul Mul x5 sec x0 Add Mul acoth pi Pow x0 -1 1 Pow Mul Mul Mul Mul x5 sec x0 Add Add x2 Mul acoth pi log x0 x0 Mul Mul x5 sec x0 Add Add x2 Mul acoth pi log x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul x5 sec x0 Add Add x2 Mul acoth pi log x0 x0 Mul Mul x5 sec x0 Add Add x2 Mul acoth pi log x0 x0 -1 -1 acsch Mul Mul x5 sec x0 Add Add x2 Mul acoth pi log x0 x0 