Mul Mul Mul Pow cos asec Mul x0 acsch Add 4 pi x4 4 log x6 x0 
Add Mul x0 Mul log x6 Mul 4 Mul Pow cos asec Mul x0 acsch Add 4 pi Add x4 -1 Mul x4 Mul Mul -1 sin asec Mul x0 acsch Add 4 pi Mul acsch Add 4 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 acsch Add 4 pi Mul x0 acsch Add 4 pi -1 Mul x0 acsch Add 4 pi Mul x0 acsch Add 4 pi -1 Mul Mul Pow cos asec Mul x0 acsch Add 4 pi x4 4 log x6 