Pow atanh x4 Add 3 Mul asinh acot x0 x0 
Mul Pow atanh x4 Add Add 3 Mul asinh acot x0 x0 -1 Mul Mul atanh x4 log atanh x4 Add Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul acot x0 acot x0 -1 asinh acot x0 