Mul sech x0 Mul acoth acoth asinh log Mul 4 x0 -3 
Add Mul Mul acoth acoth asinh log Mul 4 x0 -3 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul -3 Mul Mul Mul Mul 4 Pow Mul 4 x0 -1 Pow sqrt Add 1 Mul log Mul 4 x0 log Mul 4 x0 -1 Pow Add 1 Mul -1 Mul asinh log Mul 4 x0 asinh log Mul 4 x0 -1 Pow Add 1 Mul -1 Mul acoth asinh log Mul 4 x0 acoth asinh log Mul 4 x0 -1 