Mul asech Pow 2 x4 Add atanh Pow asin acoth x0 Add tanh x0 tanh x4 x0 
Mul asech Pow 2 x4 Add Mul Mul Pow asin acoth x0 Add Add tanh x0 tanh x4 -1 Add Mul Add tanh x0 tanh x4 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Mul asin acoth x0 log asin acoth x0 Pow sech x0 2 Pow Add 1 Mul -1 Mul Pow asin acoth x0 Add tanh x0 tanh x4 Pow asin acoth x0 Add tanh x0 tanh x4 -1 1 