Mul atanh asin Mul x0 Add Add acsch x0 x0 Mul x0 x0 pi 
Mul pi Mul Mul Add Add Add acsch x0 x0 Mul x0 x0 Mul x0 Add Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add Add acsch x0 x0 Mul x0 x0 Mul x0 Add Add acsch x0 x0 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asin Mul x0 Add Add acsch x0 x0 Mul x0 x0 asin Mul x0 Add Add acsch x0 x0 Mul x0 x0 -1 