Add cosh x0 Mul asech Mul Mul Pow asin pi acot x0 x3 -4 -0.999909204262595 
Add sinh x0 Mul -0.999909204262595 Mul Mul -4 Mul x3 Mul Pow asin pi Add acot x0 -1 Mul Mul asin pi log asin pi Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Mul Mul Pow asin pi acot x0 x3 -4 Mul Mul Pow asin pi acot x0 x3 -4 sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow asin pi acot x0 x3 -4 Mul Mul Pow asin pi acot x0 x3 -4 -1 -1 