Mul acot atanh Pow x1 E Add x0 Mul asinh x0 Pow Add 5 x0 x0 
Mul acot atanh Pow x1 E Add 1 Add Mul Pow Add 5 x0 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul Pow Add 5 x0 Add x0 -1 Add x0 Mul Add 5 x0 log Add 5 x0 