Pow Mul Mul x6 Pow Pow x0 cot E x0 acosh Pow coth tan atan x6 tan x0 x7 
Mul Pow Mul Mul x6 Pow Pow x0 cot E x0 acosh Pow coth tan atan x6 tan x0 Add x7 -1 Mul x7 Add Mul acosh Pow coth tan atan x6 tan x0 Mul x6 Mul Pow Pow x0 cot E Add x0 -1 Add Mul x0 Mul Pow x0 Add cot E -1 cot E Mul Pow x0 cot E log Pow x0 cot E Mul Mul x6 Pow Pow x0 cot E x0 Mul Mul Pow coth tan atan x6 Add tan x0 -1 Mul Mul coth tan atan x6 log coth tan atan x6 Pow sec x0 2 Pow Mul sqrt Add Pow coth tan atan x6 tan x0 -1 sqrt Add 1 Pow coth tan atan x6 tan x0 -1 