Mul x2 acot Add Add asin x0 Pow acoth asech x7 tan Add Pow asech x7 x4 3 Mul -2 pi 
Mul x2 Mul -1 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add Add asin x0 Pow acoth asech x7 tan Add Pow asech x7 x4 3 Mul -2 pi Add Add asin x0 Pow acoth asech x7 tan Add Pow asech x7 x4 3 Mul -2 pi -1 