Mul asec Pow Pow x5 sqrt x0 Mul acoth Mul pi x0 x2 Pow Mul x0 -1 Mul x0 -1 
Add Mul Pow Mul x0 -1 Mul x0 -1 Mul Mul Pow Pow x5 sqrt x0 Add Mul acoth Mul pi x0 x2 -1 Add Mul Mul acoth Mul pi x0 x2 Mul Pow x5 Add sqrt x0 -1 Mul Mul x5 log x5 Pow Mul 2 sqrt x0 -1 Mul Mul Pow x5 sqrt x0 log Pow x5 sqrt x0 Mul x2 Mul pi Pow Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow x5 sqrt x0 Mul acoth Mul pi x0 x2 Pow Pow x5 sqrt x0 Mul acoth Mul pi x0 x2 -1 Pow Pow x5 sqrt x0 Mul acoth Mul pi x0 x2 Pow Pow x5 sqrt x0 Mul acoth Mul pi x0 x2 -1 Mul asec Pow Pow x5 sqrt x0 Mul acoth Mul pi x0 x2 Mul Pow Mul x0 -1 Add Mul x0 -1 -1 Add Mul Mul x0 -1 -1 Mul Mul Mul x0 -1 log Mul x0 -1 -1 