acoth Mul Mul x3 Pow Add acsch Mul x0 Mul E x0 Add -5 Mul Mul x0 pi x0 -5 acoth acos E 
Mul Mul acoth acos E Mul x3 Mul Pow Add acsch Mul x0 Mul E x0 Add -5 Mul Mul x0 pi x0 6 Mul -5 Add Mul Mul -1 Add Mul E x0 Mul x0 E Pow Mul Mul Mul x0 Mul E x0 Mul x0 Mul E x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul E x0 Mul x0 Mul E x0 -1 -1 Add Mul x0 pi Mul x0 pi Pow Add 1 Mul -1 Mul Mul Mul x3 Pow Add acsch Mul x0 Mul E x0 Add -5 Mul Mul x0 pi x0 -5 acoth acos E Mul Mul x3 Pow Add acsch Mul x0 Mul E x0 Add -5 Mul Mul x0 pi x0 -5 acoth acos E -1 