Add Mul x0 Mul x2 sinh acot x6 Pow Mul log Add -1 pi x0 Mul E asinh sinh x0 
Add Mul x2 sinh acot x6 Mul Pow Mul log Add -1 pi x0 Add Mul E asinh sinh x0 -1 Add Mul Mul E asinh sinh x0 log Add -1 pi Mul Mul Mul log Add -1 pi x0 log Mul log Add -1 pi x0 Mul E Mul cosh x0 Pow sqrt Add 1 Mul sinh x0 sinh x0 -1 