Add tanh Mul x2 Pow acsch x0 4 Mul 3 Add x0 Pow x7 acot sin x2 
Add Mul Pow sech Mul x2 Pow acsch x0 4 2 Mul x2 Mul Pow acsch x0 3 Mul 4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 3 