Mul Mul x2 cosh acot x0 Add x0 Pow Add x0 Add Pow 7 x5 x0 x4 
Add Mul Add x0 Pow Add x0 Add Pow 7 x5 x0 x4 Mul x2 Mul sinh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul x2 cosh acot x0 Add 1 Mul Pow Add x0 Add Pow 7 x5 x0 Add x4 -1 Mul x4 2 