Mul x3 Mul acot x0 cosh atan Mul Mul x5 Mul E x0 Pow x3 4 
Mul x3 Add Mul cosh atan Mul Mul x5 Mul E x0 Pow x3 4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul sinh atan Mul Mul x5 Mul E x0 Pow x3 4 Mul Mul Pow x3 4 Mul x5 E Pow Add 1 Mul Mul Mul x5 Mul E x0 Pow x3 4 Mul Mul x5 Mul E x0 Pow x3 4 -1 