Mul -0.549306144334055 asec Mul Pow Mul x0 acosh x1 Add acot Pow acoth x0 asin pi x0 x3 
Mul -0.549306144334055 Mul Mul x3 Mul Pow Mul x0 acosh x1 Add Add acot Pow acoth x0 asin pi x0 -1 Add Mul Add acot Pow acoth x0 asin pi x0 acosh x1 Mul Mul Mul x0 acosh x1 log Mul x0 acosh x1 Add Mul -1 Mul Mul Pow acoth x0 Add asin pi -1 Mul asin pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow acoth x0 asin pi Pow acoth x0 asin pi -1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul x0 acosh x1 Add acot Pow acoth x0 asin pi x0 x3 Mul Pow Mul x0 acosh x1 Add acot Pow acoth x0 asin pi x0 x3 -1 Mul Pow Mul x0 acosh x1 Add acot Pow acoth x0 asin pi x0 x3 Mul Pow Mul x0 acosh x1 Add acot Pow acoth x0 asin pi x0 x3 -1 