Mul acot Mul x0 Mul Mul x0 Mul asinh x0 sech x3 x0 E 
Mul E Mul -1 Mul Add Mul Mul x0 Mul asinh x0 sech x3 x0 Mul x0 Add Mul x0 Add Mul asinh x0 sech x3 Mul x0 Mul sech x3 Pow sqrt Add 1 Mul x0 x0 -1 Mul x0 Mul asinh x0 sech x3 Pow Add 1 Mul Mul x0 Mul Mul x0 Mul asinh x0 sech x3 x0 Mul x0 Mul Mul x0 Mul asinh x0 sech x3 x0 -1 