Mul x0 atanh Pow 2 Pow Pow acoth asinh sec x0 x5 x0 
Add atanh Pow 2 Pow Pow acoth asinh sec x0 x5 x0 Mul x0 Mul Mul Pow 2 Add Pow Pow acoth asinh sec x0 x5 x0 -1 Mul 2.69314718055995 Mul Pow Pow acoth asinh sec x0 x5 Add x0 -1 Add Mul x0 Mul Pow acoth asinh sec x0 Add x5 -1 Mul x5 Mul Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul sec x0 sec x0 -1 Pow Add 1 Mul -1 Mul asinh sec x0 asinh sec x0 -1 Mul Pow acoth asinh sec x0 x5 log Pow acoth asinh sec x0 x5 Pow Add 1 Mul -1 Mul Pow 2 Pow Pow acoth asinh sec x0 x5 x0 Pow 2 Pow Pow acoth asinh sec x0 x5 x0 -1 