Add Pow acsch Mul -3 Add x0 exp Add exp Add -1 x2 -2 Mul x0 -5 Add Add x0 4 x0 
Add Mul Pow acsch Mul -3 Add x0 exp Add exp Add -1 x2 -2 Add Mul x0 -5 -1 Add Mul Mul x0 -5 Mul 4 Pow Mul Mul Mul -3 Add x0 exp Add exp Add -1 x2 -2 Mul -3 Add x0 exp Add exp Add -1 x2 -2 sqrt Add 1 Mul -1 Pow Mul Mul -3 Add x0 exp Add exp Add -1 x2 -2 Mul -3 Add x0 exp Add exp Add -1 x2 -2 -1 -1 Mul Mul acsch Mul -3 Add x0 exp Add exp Add -1 x2 -2 log acsch Mul -3 Add x0 exp Add exp Add -1 x2 -2 -5 2 