Add Pow Pow Add acsch sqrt x0 Add x5 x3 Mul x0 x0 x4 Mul x3 Pow x0 x3 
Add Mul Pow Pow Add acsch sqrt x0 Add x5 x3 Mul x0 x0 Add x4 -1 Mul x4 Mul Pow Add acsch sqrt x0 Add x5 x3 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul -1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Mul Mul Add acsch sqrt x0 Add x5 x3 log Add acsch sqrt x0 Add x5 x3 Add x0 x0 Mul x3 Mul Pow x0 Add x3 -1 x3 