cosh sqrt Pow x3 Pow sinh acoth x6 Add x0 Add x3 acot x0 
Mul sinh sqrt Pow x3 Pow sinh acoth x6 Add x0 Add x3 acot x0 Mul Pow Mul 2 sqrt Pow x3 Pow sinh acoth x6 Add x0 Add x3 acot x0 -1 Mul Pow x3 Add Pow sinh acoth x6 Add x0 Add x3 acot x0 -1 Mul Mul x3 log x3 Mul Pow sinh acoth x6 Add Add x0 Add x3 acot x0 -1 Mul Mul sinh acoth x6 log sinh acoth x6 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 