Add Pow 2 acsc x7 Pow Add E Mul asech x0 x0 Mul acosh Add x0 exp Add acoth x7 x0 3 
Mul Pow Add E Mul asech x0 x0 Add Mul acosh Add x0 exp Add acoth x7 x0 3 -1 Add Mul Mul acosh Add x0 exp Add acoth x7 x0 3 Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 asech x0 Mul Mul Add E Mul asech x0 x0 log Add E Mul asech x0 x0 Mul 3 Mul Add 1 exp Add acoth x7 x0 Pow Mul sqrt Add Add x0 exp Add acoth x7 x0 -1 sqrt Add 1 Add x0 exp Add acoth x7 x0 -1 