Mul acot x0 exp Add x7 acsch Pow E Add asin Mul x0 sec x0 2 
Add Mul exp Add x7 acsch Pow E Add asin Mul x0 sec x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul exp Add x7 acsch Pow E Add asin Mul x0 sec x0 2 Mul Mul -1 Mul Pow E Add Add asin Mul x0 sec x0 2 -1 Mul Mul E log E Mul Add sec x0 Mul x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 sec x0 Mul x0 sec x0 -1 Pow Mul Mul Pow E Add asin Mul x0 sec x0 2 Pow E Add asin Mul x0 sec x0 2 sqrt Add 1 Mul -1 Pow Mul Pow E Add asin Mul x0 sec x0 2 Pow E Add asin Mul x0 sec x0 2 -1 -1 