Pow x5 Add sqrt acsch Add Mul x0 -5 2 Add pi x0 
Mul Pow x5 Add Add sqrt acsch Add Mul x0 -5 2 Add pi x0 -1 Mul Mul x5 log x5 Add Mul Pow Mul 2 sqrt acsch Add Mul x0 -5 2 -1 Mul 6 Pow Mul Mul Add Mul x0 -5 2 Add Mul x0 -5 2 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 -5 2 Add Mul x0 -5 2 -1 -1 1 