Mul -5 Pow Pow Pow cosh Add x6 x0 -4 acosh x0 Add log Mul x1 acot x0 pi 
Mul -5 Mul Pow Pow Pow cosh Add x6 x0 -4 acosh x0 Add Add log Mul x1 acot x0 pi -1 Add Mul Add log Mul x1 acot x0 pi Mul Pow Pow cosh Add x6 x0 -4 Add acosh x0 -1 Add Mul acosh x0 Mul Pow cosh Add x6 x0 5 Mul -4 sinh Add x6 x0 Mul Mul Pow cosh Add x6 x0 -4 log Pow cosh Add x6 x0 -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow Pow cosh Add x6 x0 -4 acosh x0 log Pow Pow cosh Add x6 x0 -4 acosh x0 Mul Mul x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul x1 acot x0 -1 