Mul Mul sin Pow 3 x1 Pow Add acsch asin sqrt Mul x4 x0 5 Add x3 sqrt x0 x3 
Mul x3 Mul sin Pow 3 x1 Mul Pow Add acsch asin sqrt Mul x4 x0 5 Add Add x3 sqrt x0 -1 Add Mul Add x3 sqrt x0 Mul Mul -1 Mul Mul Pow Mul 2 sqrt Mul x4 x0 -1 x4 Pow sqrt Add 1 Mul -1 Mul sqrt Mul x4 x0 sqrt Mul x4 x0 -1 Pow Mul Mul asin sqrt Mul x4 x0 asin sqrt Mul x4 x0 sqrt Add 1 Mul -1 Pow Mul asin sqrt Mul x4 x0 asin sqrt Mul x4 x0 -1 -1 Mul Mul Add acsch asin sqrt Mul x4 x0 5 log Add acsch asin sqrt Mul x4 x0 5 Pow Mul 2 sqrt x0 -1 