Add cosh Pow Pow x4 Add acot x0 cosh x0 x1 pi 
Mul sinh Pow Pow x4 Add acot x0 cosh x0 x1 Mul Pow Pow x4 Add acot x0 cosh x0 Add x1 -1 Mul x1 Mul Pow x4 Add Add acot x0 cosh x0 -1 Mul Mul x4 log x4 Add Mul -1 Pow Add 1 Mul x0 x0 -1 sinh x0 