Mul Mul x0 E sinh sqrt Add x0 Add Pow acoth Mul x0 asinh x4 x3 pi 
Add Mul sinh sqrt Add x0 Add Pow acoth Mul x0 asinh x4 x3 pi E Mul Mul x0 E Mul cosh sqrt Add x0 Add Pow acoth Mul x0 asinh x4 x3 pi Mul Pow Mul 2 sqrt Add x0 Add Pow acoth Mul x0 asinh x4 x3 pi -1 Add 1 Mul Pow acoth Mul x0 asinh x4 Add x3 -1 Mul x3 Mul asinh x4 Pow Add 1 Mul -1 Mul Mul x0 asinh x4 Mul x0 asinh x4 -1 