acsc Mul atanh x0 acsch exp Mul log x0 x5 
Mul -1 Mul Add Mul acsch exp Mul log x0 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Mul -1 Mul exp Mul log x0 x5 Mul x5 Pow x0 -1 Pow Mul Mul exp Mul log x0 x5 exp Mul log x0 x5 sqrt Add 1 Mul -1 Pow Mul exp Mul log x0 x5 exp Mul log x0 x5 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul atanh x0 acsch exp Mul log x0 x5 Mul atanh x0 acsch exp Mul log x0 x5 -1 Mul atanh x0 acsch exp Mul log x0 x5 Mul atanh x0 acsch exp Mul log x0 x5 -1 