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