Mul x0 Mul Add Add Pow x0 x0 Mul Mul acot exp tan Pow Pow x7 -5 2 x0 x0 cosh x0 tanh x5 
Add Mul Add Add Pow x0 x0 Mul Mul acot exp tan Pow Pow x7 -5 2 x0 x0 cosh x0 tanh x5 Mul x0 Mul tanh x5 Add Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul x0 acot exp tan Pow Pow x7 -5 2 Mul acot exp tan Pow Pow x7 -5 2 x0 sinh x0 