Add x4 Pow Add Mul sec Mul Add Mul acot x1 x0 x0 x0 x3 Add acosh x7 Pow x0 Mul pi 2 csch pi 
Mul Pow Add Mul sec Mul Add Mul acot x1 x0 x0 x0 x3 Add acosh x7 Pow x0 Mul pi 2 Add csch pi -1 Mul csch pi Add Mul x3 Mul Mul tan Mul Add Mul acot x1 x0 x0 x0 sec Mul Add Mul acot x1 x0 x0 x0 Add Mul x0 Add acot x1 1 Add Mul acot x1 x0 x0 Mul Pow x0 Add Mul pi 2 -1 Mul pi 2 