atanh atan Pow tan Add acoth exp x5 Mul E Mul Mul pi x0 0.283662185463226 x2 
Mul Mul Mul Pow tan Add acoth exp x5 Mul E Mul Mul pi x0 0.283662185463226 Add x2 -1 Mul x2 Mul Pow sec Add acoth exp x5 Mul E Mul Mul pi x0 0.283662185463226 2 Mul E Mul 0.283662185463226 pi Pow Add 1 Mul Pow tan Add acoth exp x5 Mul E Mul Mul pi x0 0.283662185463226 x2 Pow tan Add acoth exp x5 Mul E Mul Mul pi x0 0.283662185463226 x2 -1 Pow Add 1 Mul -1 Mul atan Pow tan Add acoth exp x5 Mul E Mul Mul pi x0 0.283662185463226 x2 atan Pow tan Add acoth exp x5 Mul E Mul Mul pi x0 0.283662185463226 x2 -1 