Mul Mul sinh Mul x3 0.283662185463226 Pow acot x6 -3 sqrt cos Mul x0 Mul E x3 
Mul Mul sinh Mul x3 0.283662185463226 Pow acot x6 -3 Mul Pow Mul 2 sqrt cos Mul x0 Mul E x3 -1 Mul Mul -1 sin Mul x0 Mul E x3 Mul E x3 