tanh Mul Pow x0 acsch Add log pi x0 Mul Mul x0 Add x0 acoth Mul x0 sec x4 -5 
Mul Pow sech Mul Pow x0 acsch Add log pi x0 Mul Mul x0 Add x0 acoth Mul x0 sec x4 -5 2 Add Mul Mul Mul x0 Add x0 acoth Mul x0 sec x4 -5 Mul Pow x0 Add acsch Add log pi x0 -1 Add acsch Add log pi x0 Mul Mul x0 log x0 Mul -1 Pow Mul Mul Add log pi x0 Add log pi x0 sqrt Add 1 Mul -1 Pow Mul Add log pi x0 Add log pi x0 -1 -1 Mul Pow x0 acsch Add log pi x0 Mul -5 Add Add x0 acoth Mul x0 sec x4 Mul x0 Add 1 Mul sec x4 Pow Add 1 Mul -1 Mul Mul x0 sec x4 Mul x0 sec x4 -1 