sec acsch Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 x7 -1 
Mul Mul tan acsch Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 x7 -1 sec acsch Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 x7 -1 Mul Mul -1 Mul -1 Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 Add x7 -1 Mul x7 Mul Pow Mul x0 pi Add Mul x0 Pow log pi x0 -1 Add Mul Mul x0 Pow log pi x0 pi Mul Mul Mul x0 pi log Mul x0 pi Add Pow log pi x0 Mul x0 Mul Pow log pi Add x0 -1 Mul log pi log log pi Pow Mul Mul Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 x7 -1 Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 x7 -1 sqrt Add 1 Mul -1 Pow Mul Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 x7 -1 Mul Pow Pow Mul x0 pi Mul x0 Pow log pi x0 x7 -1 -1 -1 