cosh Pow acot E Mul Mul x0 -1 Mul asinh x2 atanh Mul x0 -4 
Mul sinh Pow acot E Mul Mul x0 -1 Mul asinh x2 atanh Mul x0 -4 Mul Pow acot E Add Mul Mul x0 -1 Mul asinh x2 atanh Mul x0 -4 -1 Mul Mul acot E log acot E Add Mul Mul asinh x2 atanh Mul x0 -4 -1 Mul Mul x0 -1 Mul asinh x2 Mul -4 Pow Add 1 Mul -1 Mul Mul x0 -4 Mul x0 -4 -1 