Add acot x0 Mul acsch acsch cosh x0 Pow Pow Pow Add 2 x7 pi -4 x0 
Add Mul -1 Pow Add 1 Mul x0 x0 -1 Add Mul Pow Pow Pow Add 2 x7 pi -4 x0 Mul Mul -1 Mul Mul -1 sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 Pow Mul Mul acsch cosh x0 acsch cosh x0 sqrt Add 1 Mul -1 Pow Mul acsch cosh x0 acsch cosh x0 -1 -1 Mul acsch acsch cosh x0 Mul Pow Pow Pow Add 2 x7 pi -4 Add x0 -1 Mul Pow Pow Add 2 x7 pi -4 log Pow Pow Add 2 x7 pi -4 