Add Pow cosh Mul Add x0 x0 x3 Add 2 x5 Pow log acot x7 Add Add Mul Add x0 x0 Pow 4 x5 x0 x0 
Add Mul Pow cosh Mul Add x0 x0 x3 Add Add 2 x5 -1 Mul Add 2 x5 Mul sinh Mul Add x0 x0 x3 Mul x3 2 Mul Pow log acot x7 Add Add Add Mul Add x0 x0 Pow 4 x5 x0 x0 -1 Mul Mul log acot x7 log log acot x7 Add Add Mul Pow 4 x5 2 1 1 