cos atan Mul Mul x0 acsch x0 Add Pow atan Mul Mul x7 x5 x0 x4 pi 
Mul Mul -1 sin atan Mul Mul x0 acsch x0 Add Pow atan Mul Mul x7 x5 x0 x4 pi Mul Add Mul Add Pow atan Mul Mul x7 x5 x0 x4 pi Add acsch x0 Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul x0 acsch x0 Mul Pow atan Mul Mul x7 x5 x0 Add x4 -1 Mul x4 Mul Mul x7 x5 Pow Add 1 Mul Mul Mul x7 x5 x0 Mul Mul x7 x5 x0 -1 Pow Add 1 Mul Mul Mul x0 acsch x0 Add Pow atan Mul Mul x7 x5 x0 x4 pi Mul Mul x0 acsch x0 Add Pow atan Mul Mul x7 x5 x0 x4 pi -1 