tan Pow Mul x0 8165619676597687 acos cosh Mul Pow x0 pi x0 
Mul Pow sec Pow Mul x0 8165619676597687 acos cosh Mul Pow x0 pi x0 2 Mul Pow Mul x0 8165619676597687 Add acos cosh Mul Pow x0 pi x0 -1 Add Mul acos cosh Mul Pow x0 pi x0 8165619676597687 Mul Mul Mul x0 8165619676597687 log Mul x0 8165619676597687 Mul -1 Mul Mul sinh Mul Pow x0 pi x0 Add Mul x0 Mul Pow x0 Add pi -1 pi Pow x0 pi Pow sqrt Add 1 Mul -1 Mul cosh Mul Pow x0 pi x0 cosh Mul Pow x0 pi x0 -1 