Add E acsch Mul Pow asech Add acos Mul x7 x0 acot x0 x0 Mul x0 pi 
Mul Mul -1 Add Mul Mul x0 pi Mul Pow asech Add acos Mul x7 x0 acot x0 Add x0 -1 Add Mul x0 Mul Add Mul -1 Mul x7 Pow sqrt Add 1 Mul -1 Mul Mul x7 x0 Mul x7 x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Add acos Mul x7 x0 acot x0 Add acos Mul x7 x0 acot x0 sqrt Add 1 Mul -1 Pow Mul Add acos Mul x7 x0 acot x0 Add acos Mul x7 x0 acot x0 -1 -1 Mul asech Add acos Mul x7 x0 acot x0 log asech Add acos Mul x7 x0 acot x0 Mul Pow asech Add acos Mul x7 x0 acot x0 x0 pi Pow Mul Mul Mul Pow asech Add acos Mul x7 x0 acot x0 x0 Mul x0 pi Mul Pow asech Add acos Mul x7 x0 acot x0 x0 Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Pow asech Add acos Mul x7 x0 acot x0 x0 Mul x0 pi Mul Pow asech Add acos Mul x7 x0 acot x0 x0 Mul x0 pi -1 -1 