Mul x0 Add Add x0 acot Add acoth Mul x5 csch x1 x0 Pow tan Mul sqrt x0 x0 Add acos x0 x0 
Add Add Add x0 acot Add acoth Mul x5 csch x1 x0 Pow tan Mul sqrt x0 x0 Add acos x0 x0 Mul x0 Add Add 1 Mul -1 Pow Add 1 Mul Add acoth Mul x5 csch x1 x0 Add acoth Mul x5 csch x1 x0 -1 Mul Pow tan Mul sqrt x0 x0 Add Add acos x0 x0 -1 Add Mul Add acos x0 x0 Mul Pow sec Mul sqrt x0 x0 2 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Mul Mul tan Mul sqrt x0 x0 log tan Mul sqrt x0 x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 