Pow x4 Add Mul acsch Add Pow Mul x4 x5 x0 pi Mul -3 Mul x0 x0 2 
Mul Pow x4 Add Add Mul acsch Add Pow Mul x4 x5 x0 pi Mul -3 Mul x0 x0 2 -1 Mul Mul x4 log x4 Add Mul Mul -3 Mul x0 x0 Mul Mul -1 Mul Pow Mul x4 x5 Add x0 -1 Mul Mul x4 x5 log Mul x4 x5 Pow Mul Mul Add Pow Mul x4 x5 x0 pi Add Pow Mul x4 x5 x0 pi sqrt Add 1 Mul -1 Pow Mul Add Pow Mul x4 x5 x0 pi Add Pow Mul x4 x5 x0 pi -1 -1 Mul acsch Add Pow Mul x4 x5 x0 pi Mul -3 Add x0 x0 