Add Add x0 Mul coth Mul acot acsc x5 x0 Mul -0.841470984807897 Pow acosh Add pi 4 5 Pow Add x0 x0 x3 
Add Add 1 Mul Mul -0.841470984807897 Pow acosh Add pi 4 5 Mul Mul -1 Pow csch Mul acot acsc x5 x0 2 acot acsc x5 Mul Pow Add x0 x0 Add x3 -1 Mul x3 2 