Pow x3 Add sqrt acsch Add pi x0 Add Add x0 -5 x4 
Mul Pow x3 Add Add sqrt acsch Add pi x0 Add Add x0 -5 x4 -1 Mul Mul x3 log x3 Add Mul Pow Mul 2 sqrt acsch Add pi x0 -1 Mul -1 Pow Mul Mul Add pi x0 Add pi x0 sqrt Add 1 Mul -1 Pow Mul Add pi x0 Add pi x0 -1 -1 1 