acosh Mul pi Add Pow Add x0 x3 Pow pi x0 x0 
Mul Mul pi Add Mul Pow Add x0 x3 Add Pow pi x0 -1 Add Pow pi x0 Mul Mul Add x0 x3 log Add x0 x3 Mul Pow pi Add x0 -1 Mul pi log pi 1 Pow Mul sqrt Add Mul pi Add Pow Add x0 x3 Pow pi x0 x0 -1 sqrt Add 1 Mul pi Add Pow Add x0 x3 Pow pi x0 x0 -1 