Mul acosh Pow acot x0 Pow Mul asec x0 x0 Mul asin pi x0 Add Add x4 4 x0 
Add Mul Add Add x4 4 x0 Mul Mul Pow acot x0 Add Pow Mul asec x0 x0 Mul asin pi x0 -1 Add Mul Pow Mul asec x0 x0 Mul asin pi x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Mul asec x0 x0 Add Mul asin pi x0 -1 Add Mul Mul asin pi x0 Add Mul x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 asec x0 Mul Mul Mul asec x0 x0 log Mul asec x0 x0 asin pi Pow Mul sqrt Add Pow acot x0 Pow Mul asec x0 x0 Mul asin pi x0 -1 sqrt Add 1 Pow acot x0 Pow Mul asec x0 x0 Mul asin pi x0 -1 acosh Pow acot x0 Pow Mul asec x0 x0 Mul asin pi x0 