Mul Mul tan Pow x0 pi Pow acot Pow x7 0.881373587019543 acosh x0 -1.09975017029462 
Mul -1.09975017029462 Add Mul Pow acot Pow x7 0.881373587019543 acosh x0 Mul Pow sec Pow x0 pi 2 Mul Pow x0 Add pi -1 pi Mul tan Pow x0 pi Mul Pow acot Pow x7 0.881373587019543 Add acosh x0 -1 Mul Mul acot Pow x7 0.881373587019543 log acot Pow x7 0.881373587019543 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 