Pow Add x0 Mul x0 sqrt Add -3 x5 Pow acoth x0 -4 
Mul Pow Add x0 Mul x0 sqrt Add -3 x5 Add Pow acoth x0 -4 -1 Add Mul Pow acoth x0 -4 Add 1 sqrt Add -3 x5 Mul Mul Add x0 Mul x0 sqrt Add -3 x5 log Add x0 Mul x0 sqrt Add -3 x5 Mul Pow acoth x0 5 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 