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