coth asec Mul x0 Mul exp Mul x0 sec cot x6 -2 
Mul Mul -1 Pow csch asec Mul x0 Mul exp Mul x0 sec cot x6 -2 2 Mul Add Mul exp Mul x0 sec cot x6 -2 Mul x0 Mul -2 Mul exp Mul x0 sec cot x6 sec cot x6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul exp Mul x0 sec cot x6 -2 Mul x0 Mul exp Mul x0 sec cot x6 -2 -1 Mul x0 Mul exp Mul x0 sec cot x6 -2 Mul x0 Mul exp Mul x0 sec cot x6 -2 -1 