Mul acosh x7 atan Pow Mul Mul x0 x0 Pow acsch Add Add 1 x0 1 pi pi 
Mul acosh x7 Mul Mul Pow Mul Mul x0 x0 Pow acsch Add Add 1 x0 1 pi Add pi -1 Mul pi Add Mul Pow acsch Add Add 1 x0 1 pi Add x0 x0 Mul Mul x0 x0 Mul Pow acsch Add Add 1 x0 1 Add pi -1 Mul pi Mul -1 Pow Mul Mul Add Add 1 x0 1 Add Add 1 x0 1 sqrt Add 1 Mul -1 Pow Mul Add Add 1 x0 1 Add Add 1 x0 1 -1 -1 Pow Add 1 Mul Pow Mul Mul x0 x0 Pow acsch Add Add 1 x0 1 pi pi Pow Mul Mul x0 x0 Pow acsch Add Add 1 x0 1 pi pi -1 