Add Mul Mul acot Add 36303269642452308279169815605808751639944703130309166512043954836063977971122176 x7 Pow sec x0 Mul E x0 acoth x0 Mul x0 exp x0 
Add Add Mul acoth x0 Mul acot Add 36303269642452308279169815605808751639944703130309166512043954836063977971122176 x7 Mul Pow sec x0 Add Mul E x0 -1 Add Mul Mul E x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 E Mul Mul acot Add 36303269642452308279169815605808751639944703130309166512043954836063977971122176 x7 Pow sec x0 Mul E x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Add exp x0 Mul x0 exp x0 