sec Mul x3 Pow Mul x0 Mul pi Mul Pow x0 sqrt x0 x0 acsch Pow x1 x0 
Mul Mul tan Mul x3 Pow Mul x0 Mul pi Mul Pow x0 sqrt x0 x0 acsch Pow x1 x0 sec Mul x3 Pow Mul x0 Mul pi Mul Pow x0 sqrt x0 x0 acsch Pow x1 x0 Mul x3 Mul Pow Mul x0 Mul pi Mul Pow x0 sqrt x0 x0 Add acsch Pow x1 x0 -1 Add Mul acsch Pow x1 x0 Add Mul pi Mul Pow x0 sqrt x0 x0 Mul x0 Mul pi Add Mul x0 Mul Pow x0 Add sqrt x0 -1 Add sqrt x0 Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 Pow x0 sqrt x0 Mul Mul Mul x0 Mul pi Mul Pow x0 sqrt x0 x0 log Mul x0 Mul pi Mul Pow x0 sqrt x0 x0 Mul Mul -1 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Mul Mul Pow x1 x0 Pow x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow x1 x0 Pow x1 x0 -1 -1 