cos Add Add Add Mul x0 x3 x3 atan asin Mul Mul coth acos x0 x5 x0 acoth Mul x0 x0 
Mul Mul -1 sin Add Add Add Mul x0 x3 x3 atan asin Mul Mul coth acos x0 x5 x0 acoth Mul x0 x0 Add Add x3 Mul Mul Add Mul x0 Mul x5 Mul Mul -1 Pow csch acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul coth acos x0 x5 Pow sqrt Add 1 Mul -1 Mul Mul Mul coth acos x0 x5 x0 Mul Mul coth acos x0 x5 x0 -1 Pow Add 1 Mul asin Mul Mul coth acos x0 x5 x0 asin Mul Mul coth acos x0 x5 x0 -1 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 