atanh tan Mul Mul Add Pow Mul x0 pi Mul acsc pi x0 x1 x5 Pow x3 -2 
Mul Mul Pow sec Mul Mul Add Pow Mul x0 pi Mul acsc pi x0 x1 x5 Pow x3 -2 2 Mul Pow x3 -2 Mul x5 Mul Pow Mul x0 pi Add Mul acsc pi x0 -1 Add Mul Mul acsc pi x0 pi Mul Mul Mul x0 pi log Mul x0 pi acsc pi Pow Add 1 Mul -1 Mul tan Mul Mul Add Pow Mul x0 pi Mul acsc pi x0 x1 x5 Pow x3 -2 tan Mul Mul Add Pow Mul x0 pi Mul acsc pi x0 x1 x5 Pow x3 -2 -1 