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