atanh Mul x0 Add acsch tanh Add 5 x0 tan Mul 5 x0 
Mul Add Add acsch tanh Add 5 x0 tan Mul 5 x0 Mul x0 Add Mul Mul -1 Pow sech Add 5 x0 2 Pow Mul Mul tanh Add 5 x0 tanh Add 5 x0 sqrt Add 1 Mul -1 Pow Mul tanh Add 5 x0 tanh Add 5 x0 -1 -1 Mul Pow sec Mul 5 x0 2 5 Pow Add 1 Mul -1 Mul Mul x0 Add acsch tanh Add 5 x0 tan Mul 5 x0 Mul x0 Add acsch tanh Add 5 x0 tan Mul 5 x0 -1 