Add x0 Pow sec Pow acoth x0 acsch Add x4 x0 Mul Add x0 sqrt acosh x7 x2 
Add 1 Mul Pow sec Pow acoth x0 acsch Add x4 x0 Add Mul Add x0 sqrt acosh x7 x2 -1 Add Mul Mul Add x0 sqrt acosh x7 x2 Mul Mul tan Pow acoth x0 acsch Add x4 x0 sec Pow acoth x0 acsch Add x4 x0 Mul Pow acoth x0 Add acsch Add x4 x0 -1 Add Mul acsch Add x4 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul -1 Pow Mul Mul Add x4 x0 Add x4 x0 sqrt Add 1 Mul -1 Pow Mul Add x4 x0 Add x4 x0 -1 -1 Mul Mul sec Pow acoth x0 acsch Add x4 x0 log sec Pow acoth x0 acsch Add x4 x0 x2 