Add x0 acos Mul x0 Pow cosh Pow x0 x4 asinh Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 
Add 1 Mul -1 Mul Add Pow cosh Pow x0 x4 asinh Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 Mul x0 Mul Pow cosh Pow x0 x4 Add asinh Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 -1 Add Mul asinh Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 Mul sinh Pow x0 x4 Mul Pow x0 Add x4 -1 x4 Mul Mul cosh Pow x0 x4 log cosh Pow x0 x4 Mul Add Mul tan Mul x0 Mul Mul x0 x0 2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 -1 Mul log acoth x0 Mul Pow sec Mul x0 Mul Mul x0 x0 2 2 Add Mul Mul x0 x0 2 Mul x0 Mul 2 Add x0 x0 Pow sqrt Add 1 Mul Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow cosh Pow x0 x4 asinh Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 Mul x0 Pow cosh Pow x0 x4 asinh Mul log acoth x0 tan Mul x0 Mul Mul x0 x0 2 -1 