atanh Mul Add Add acosh tan Mul x0 x7 x0 Mul x0 Mul acot coth acsch x0 pi csch Add x0 x0 
Mul Add Mul csch Add x0 x0 Add Add Mul Mul Pow sec Mul x0 x7 2 x7 Pow Mul sqrt Add tan Mul x0 x7 -1 sqrt Add 1 tan Mul x0 x7 -1 1 Add Mul acot coth acsch x0 pi Mul x0 Mul pi Mul -1 Mul Mul Mul -1 Pow csch acsch x0 2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul coth acsch x0 coth acsch x0 -1 Mul Add Add acosh tan Mul x0 x7 x0 Mul x0 Mul acot coth acsch x0 pi Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 Pow Add 1 Mul -1 Mul Mul Add Add acosh tan Mul x0 x7 x0 Mul x0 Mul acot coth acsch x0 pi csch Add x0 x0 Mul Add Add acosh tan Mul x0 x7 x0 Mul x0 Mul acot coth acsch x0 pi csch Add x0 x0 -1 