Pow Add 2 x0 Pow Mul acsch x0 x5 3 
Mul Pow Add 2 x0 Add Pow Mul acsch x0 x5 3 -1 Add Pow Mul acsch x0 x5 3 Mul Mul Add 2 x0 log Add 2 x0 Mul Pow Mul acsch x0 x5 2 Mul 3 Mul x5 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 