Pow Add x0 x4 Mul acoth acos x0 Mul pi sin Add sech x5 x7 
Mul Pow Add x0 x4 Add Mul acoth acos x0 Mul pi sin Add sech x5 x7 -1 Add Mul acoth acos x0 Mul pi sin Add sech x5 x7 Mul Mul Add x0 x4 log Add x0 x4 Mul Mul pi sin Add sech x5 x7 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 