acosh Mul x0 Mul x1 acoth Pow Add Add x2 x0 Mul exp x0 x0 atan Add x0 pi 
Mul Add Mul x1 acoth Pow Add Add x2 x0 Mul exp x0 x0 atan Add x0 pi Mul x0 Mul x1 Mul Mul Pow Add Add x2 x0 Mul exp x0 x0 Add atan Add x0 pi -1 Add Mul atan Add x0 pi Add 1 Add Mul x0 exp x0 exp x0 Mul Mul Add Add x2 x0 Mul exp x0 x0 log Add Add x2 x0 Mul exp x0 x0 Pow Add 1 Mul Add x0 pi Add x0 pi -1 Pow Add 1 Mul -1 Mul Pow Add Add x2 x0 Mul exp x0 x0 atan Add x0 pi Pow Add Add x2 x0 Mul exp x0 x0 atan Add x0 pi -1 Pow Mul sqrt Add Mul x0 Mul x1 acoth Pow Add Add x2 x0 Mul exp x0 x0 atan Add x0 pi -1 sqrt Add 1 Mul x0 Mul x1 acoth Pow Add Add x2 x0 Mul exp x0 x0 atan Add x0 pi -1 