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