Pow Add Mul x5 Add 5 pi sin Add x1 4 Mul asin x0 acoth x3 
Mul Pow Add Mul x5 Add 5 pi sin Add x1 4 Add Mul asin x0 acoth x3 -1 Mul Mul Add Mul x5 Add 5 pi sin Add x1 4 log Add Mul x5 Add 5 pi sin Add x1 4 Mul acoth x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 