acosh Add 5 cosh Mul Add Mul x0 pi Pow x0 acosh x2 Mul Mul x0 x0 acot pi 
Mul Mul sinh Mul Add Mul x0 pi Pow x0 acosh x2 Mul Mul x0 x0 acot pi Add Mul Mul Mul x0 x0 acot pi Add pi Mul Pow x0 Add acosh x2 -1 acosh x2 Mul Add Mul x0 pi Pow x0 acosh x2 Mul acot pi Add x0 x0 Pow Mul sqrt Add Add 5 cosh Mul Add Mul x0 pi Pow x0 acosh x2 Mul Mul x0 x0 acot pi -1 sqrt Add 1 Add 5 cosh Mul Add Mul x0 pi Pow x0 acosh x2 Mul Mul x0 x0 acot pi -1 