Mul Mul asin atan x0 x0 Add acsch x1 Pow Add Add x0 pi 3 -1 
Add Mul Add acsch x1 Pow Add Add x0 pi 3 -1 Add Mul x0 Mul Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atan x0 atan x0 -1 asin atan x0 Mul Mul asin atan x0 x0 Mul Pow Add Add x0 pi 3 2 -1 