acos Mul Mul x0 x1 Mul Mul Mul Mul x0 Mul x4 pi Pow asech x0 x0 x7 acot x7 
Mul -1 Mul Add Mul Mul Mul Mul Mul x0 Mul x4 pi Pow asech x0 x0 x7 acot x7 x1 Mul Mul x0 x1 Mul acot x7 Mul x7 Add Mul Pow asech x0 x0 Mul x4 pi Mul Mul x0 Mul x4 pi Mul Pow asech x0 Add x0 -1 Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 log asech x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 x1 Mul Mul Mul Mul x0 Mul x4 pi Pow asech x0 x0 x7 acot x7 Mul Mul x0 x1 Mul Mul Mul Mul x0 Mul x4 pi Pow asech x0 x0 x7 acot x7 -1 