Mul x2 cosh Mul Pow Mul -3 E x0 asinh Pow Mul -3 x5 cot x3 
Mul x2 Mul sinh Mul Pow Mul -3 E x0 asinh Pow Mul -3 x5 cot x3 Mul asinh Pow Mul -3 x5 cot x3 Mul Pow Mul -3 E Add x0 -1 Mul Mul -3 E log Mul -3 E 