exp Pow x0 asec Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 
Mul exp Pow x0 asec Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 Mul Pow x0 Add asec Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 -1 Add asec Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 Mul Mul x0 log x0 Mul Mul Pow Pow acot x0 Mul sqrt cos E x0 Add atanh x7 -1 Mul atanh x7 Mul Pow acot x0 Add Mul sqrt cos E x0 -1 Add Mul Mul sqrt cos E x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 sqrt cos E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 -1 Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 Pow Pow acot x0 Mul sqrt cos E x0 atanh x7 -1 