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