Add Add Pow cosh Mul x0 Pow x5 x2 x0 Add x0 Mul Add x0 acos x0 acot x1 x0 
Add Add Mul Pow cosh Mul x0 Pow x5 x2 Add x0 -1 Add Mul x0 Mul sinh Mul x0 Pow x5 x2 Pow x5 x2 Mul cosh Mul x0 Pow x5 x2 log cosh Mul x0 Pow x5 x2 Add 1 Mul acot x1 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 