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