Mul Mul sinh Pow sech x1 4 Mul -4 Pow x0 E asinh Mul Mul x0 4 x0 
Add Mul asinh Mul Mul x0 4 x0 Mul sinh Pow sech x1 4 Mul -4 Mul Pow x0 Add E -1 E Mul Mul sinh Pow sech x1 4 Mul -4 Pow x0 E Mul Add Mul x0 4 Mul x0 4 Pow sqrt Add 1 Mul Mul Mul x0 4 x0 Mul Mul x0 4 x0 -1 