Add Pow asin asech tanh x6 x0 Pow Add x0 Pow Mul x0 Pow acoth x0 -2 x1 x2 
Add Mul Pow asin asech tanh x6 Add x0 -1 Mul asin asech tanh x6 log asin asech tanh x6 Mul Pow Add x0 Pow Mul x0 Pow acoth x0 -2 x1 Add x2 -1 Mul x2 Add 1 Mul Pow Mul x0 Pow acoth x0 -2 Add x1 -1 Mul x1 Add Pow acoth x0 -2 Mul x0 Mul Pow acoth x0 3 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 