Pow asech Pow pi x7 Pow log Add x0 -2 acsch Add x0 x0 
Mul Pow asech Pow pi x7 Add Pow log Add x0 -2 acsch Add x0 x0 -1 Mul Mul asech Pow pi x7 log asech Pow pi x7 Mul Pow log Add x0 -2 Add acsch Add x0 x0 -1 Add Mul acsch Add x0 x0 Pow Add x0 -2 -1 Mul Mul log Add x0 -2 log log Add x0 -2 Pow Mul Mul Add x0 x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 -1 