Pow Add E Pow exp x0 x3 acsch Add x7 x0 
Mul Pow Add E Pow exp x0 x3 Add acsch Add x7 x0 -1 Add Mul acsch Add x7 x0 Mul Pow exp x0 Add x3 -1 Mul x3 exp x0 Mul Mul Add E Pow exp x0 x3 log Add E Pow exp x0 x3 Mul -1 Pow Mul Mul Add x7 x0 Add x7 x0 sqrt Add 1 Mul -1 Pow Mul Add x7 x0 Add x7 x0 -1 -1 