asin Mul x0 Pow csch x3 cos atan Mul x0 x0 
Mul Add Pow csch x3 cos atan Mul x0 x0 Mul x0 Mul Pow csch x3 Add cos atan Mul x0 x0 -1 Mul Mul csch x3 log csch x3 Mul Mul -1 sin atan Mul x0 x0 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow csch x3 cos atan Mul x0 x0 Mul x0 Pow csch x3 cos atan Mul x0 x0 -1 