Mul Add x0 Add x1 atan atan Mul x0 acsch sin asin x0 3 
Mul 3 Add 1 Mul Mul Add acsch sin asin x0 Mul x0 Mul Mul -1 Mul cos asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sin asin x0 sin asin x0 sqrt Add 1 Mul -1 Pow Mul sin asin x0 sin asin x0 -1 -1 Pow Add 1 Mul Mul x0 acsch sin asin x0 Mul x0 acsch sin asin x0 -1 Pow Add 1 Mul atan Mul x0 acsch sin asin x0 atan Mul x0 acsch sin asin x0 -1 