Add Pow acot Add x2 sqrt cosh sinh x0 Pow Mul x0 x7 Mul x0 cosh Add x0 Add x0 Add x0 -3 Mul x0 x0 
Add Mul Pow acot Add x2 sqrt cosh sinh x0 Add Pow Mul x0 x7 Mul x0 cosh Add x0 Add x0 Add x0 -3 -1 Add Mul Pow Mul x0 x7 Mul x0 cosh Add x0 Add x0 Add x0 -3 Mul -1 Mul Mul Pow Mul 2 sqrt cosh sinh x0 -1 Mul sinh sinh x0 cosh x0 Pow Add 1 Mul Add x2 sqrt cosh sinh x0 Add x2 sqrt cosh sinh x0 -1 Mul Mul acot Add x2 sqrt cosh sinh x0 log acot Add x2 sqrt cosh sinh x0 Mul Pow Mul x0 x7 Add Mul x0 cosh Add x0 Add x0 Add x0 -3 -1 Add Mul Mul x0 cosh Add x0 Add x0 Add x0 -3 x7 Mul Mul Mul x0 x7 log Mul x0 x7 Add cosh Add x0 Add x0 Add x0 -3 Mul x0 Mul sinh Add x0 Add x0 Add x0 -3 3 Add x0 x0 