Pow x0 Add x5 Mul x0 Mul x0 acosh Mul -2 exp Pow pi x0 
Mul Pow x0 Add Add x5 Mul x0 Mul x0 acosh Mul -2 exp Pow pi x0 -1 Add Add x5 Mul x0 Mul x0 acosh Mul -2 exp Pow pi x0 Mul Mul x0 log x0 Add Mul x0 acosh Mul -2 exp Pow pi x0 Mul x0 Add acosh Mul -2 exp Pow pi x0 Mul x0 Mul Mul -2 Mul exp Pow pi x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul sqrt Add Mul -2 exp Pow pi x0 -1 sqrt Add 1 Mul -2 exp Pow pi x0 -1 