exp Pow x0 acot asech Mul x0 csch cos x7 
Mul exp Pow x0 acot asech Mul x0 csch cos x7 Mul Pow x0 Add acot asech Mul x0 csch cos x7 -1 Add acot asech Mul x0 csch cos x7 Mul Mul x0 log x0 Mul -1 Mul Mul csch cos x7 Pow Mul Mul Mul x0 csch cos x7 Mul x0 csch cos x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 csch cos x7 Mul x0 csch cos x7 -1 -1 Pow Add 1 Mul asech Mul x0 csch cos x7 asech Mul x0 csch cos x7 -1 