acoth Mul x3 Add Add Mul atan Pow asec Add x0 x0 x0 x3 exp x0 pi 
Mul Mul x3 Add Mul x3 Mul Mul Pow asec Add x0 x0 Add x0 -1 Add Mul x0 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 Add x0 x0 Add x0 x0 -1 Mul asec Add x0 x0 log asec Add x0 x0 Pow Add 1 Mul Pow asec Add x0 x0 x0 Pow asec Add x0 x0 x0 -1 exp x0 Pow Add 1 Mul -1 Mul Mul x3 Add Add Mul atan Pow asec Add x0 x0 x0 x3 exp x0 pi Mul x3 Add Add Mul atan Pow asec Add x0 x0 x0 x3 exp x0 pi -1 