sinh Pow sinh Add x0 Add Pow acot x6 x0 4 Add x0 x0 
Mul cosh Pow sinh Add x0 Add Pow acot x6 x0 4 Add x0 x0 Mul Pow sinh Add x0 Add Pow acot x6 x0 4 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul cosh Add x0 Add Pow acot x6 x0 4 Add 1 Mul Pow acot x6 Add x0 -1 Mul acot x6 log acot x6 Mul Mul sinh Add x0 Add Pow acot x6 x0 4 log sinh Add x0 Add Pow acot x6 x0 4 2 