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