acoth Add acos tan csch x2 atanh Pow Mul log pi x0 asinh x3 
Mul Mul Mul Pow Mul log pi x0 Add asinh x3 -1 Mul asinh x3 log pi Pow Add 1 Mul -1 Mul Pow Mul log pi x0 asinh x3 Pow Mul log pi x0 asinh x3 -1 Pow Add 1 Mul -1 Mul Add acos tan csch x2 atanh Pow Mul log pi x0 asinh x3 Add acos tan csch x2 atanh Pow Mul log pi x0 asinh x3 -1 