Mul Pow Mul x3 acsc acos Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 x1 4 
Mul 4 Mul Pow Mul x3 acsc acos Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 Add x1 -1 Mul x1 Mul x3 Mul -1 Mul Mul -1 Mul Add 2 Mul Pow Mul 2 sqrt Add -1 Add acoth coth Add pi 2 x0 -1 Pow sqrt Add 1 Mul sqrt Add -1 Add acoth coth Add pi 2 x0 sqrt Add -1 Add acoth coth Add pi 2 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 acos Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 -1 acos Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 acos Add Mul x0 2 asinh sqrt Add -1 Add acoth coth Add pi 2 x0 -1 