Pow cosh Add Pow acoth acoth atanh x2 asin x0 x0 -3 
Mul Pow cosh Add Pow acoth acoth atanh x2 asin x0 x0 4 Mul -3 Mul sinh Add Pow acoth acoth atanh x2 asin x0 x0 Add Mul Pow acoth acoth atanh x2 Add asin x0 -1 Mul Mul acoth acoth atanh x2 log acoth acoth atanh x2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 