Mul Mul Pow acoth x2 x0 cos asinh Mul pi atan Add x0 4 Mul x3 3 
Mul Mul x3 3 Add Mul cos asinh Mul pi atan Add x0 4 Mul Pow acoth x2 Add x0 -1 Mul acoth x2 log acoth x2 Mul Pow acoth x2 x0 Mul Mul -1 sin asinh Mul pi atan Add x0 4 Mul Mul pi Pow Add 1 Mul Add x0 4 Add x0 4 -1 Pow sqrt Add 1 Mul Mul pi atan Add x0 4 Mul pi atan Add x0 4 -1 