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