Add csch Add sec x5 3 Add 3 Pow Mul x3 cosh Pow x0 Mul 2 acos x0 Add sec Mul x7 2 x0 
Mul Pow Mul x3 cosh Pow x0 Mul 2 acos x0 Add Add sec Mul x7 2 x0 -1 Add Mul Add sec Mul x7 2 x0 Mul x3 Mul sinh Pow x0 Mul 2 acos x0 Mul Pow x0 Add Mul 2 acos x0 -1 Add Mul 2 acos x0 Mul Mul x0 log x0 Mul 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x3 cosh Pow x0 Mul 2 acos x0 log Mul x3 cosh Pow x0 Mul 2 acos x0 