Mul atanh Mul cosh Pow Mul -1 Add pi exp sqrt cot x3 2 x0 Mul -3 Add Add pi x5 4 
Mul Mul -3 Add Add pi x5 4 Mul cosh Pow Mul -1 Add pi exp sqrt cot x3 2 Pow Add 1 Mul -1 Mul Mul cosh Pow Mul -1 Add pi exp sqrt cot x3 2 x0 Mul cosh Pow Mul -1 Add pi exp sqrt cot x3 2 x0 -1 