Mul Add Pow Pow Mul x0 Mul x0 E Add x0 x0 -1 acsch log E x3 
Mul x3 Mul Pow Pow Mul x0 Mul x0 E Add x0 x0 2 Mul -1 Mul Pow Mul x0 Mul x0 E Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul x0 E Mul x0 E Mul Mul Mul x0 Mul x0 E log Mul x0 Mul x0 E 2 