acsch acos Pow Add Mul x6 -3 1 Mul x0 -1 
Mul Mul -1 Mul -1 Mul Mul Pow Add Mul x6 -3 1 Add Mul x0 -1 -1 Mul Mul Add Mul x6 -3 1 log Add Mul x6 -3 1 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add Mul x6 -3 1 Mul x0 -1 Pow Add Mul x6 -3 1 Mul x0 -1 -1 Pow Mul Mul acos Pow Add Mul x6 -3 1 Mul x0 -1 acos Pow Add Mul x6 -3 1 Mul x0 -1 sqrt Add 1 Mul -1 Pow Mul acos Pow Add Mul x6 -3 1 Mul x0 -1 acos Pow Add Mul x6 -3 1 Mul x0 -1 -1 -1 