sin Mul Mul x0 Mul -2 acsch Mul Add acos x0 Mul x2 -2 atan x1 Add 3 x0 
Mul cos Mul Mul x0 Mul -2 acsch Mul Add acos x0 Mul x2 -2 atan x1 Add 3 x0 Add Mul Add 3 x0 Add Mul -2 acsch Mul Add acos x0 Mul x2 -2 atan x1 Mul x0 Mul -2 Mul Mul -1 Mul atan x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul Add acos x0 Mul x2 -2 atan x1 Mul Add acos x0 Mul x2 -2 atan x1 sqrt Add 1 Mul -1 Pow Mul Mul Add acos x0 Mul x2 -2 atan x1 Mul Add acos x0 Mul x2 -2 atan x1 -1 -1 Mul x0 Mul -2 acsch Mul Add acos x0 Mul x2 -2 atan x1 