acsch acsch tan Add -2 Mul x0 x3 
Mul Mul -1 Mul Mul -1 Mul Pow sec Add -2 Mul x0 x3 2 x3 Pow Mul Mul tan Add -2 Mul x0 x3 tan Add -2 Mul x0 x3 sqrt Add 1 Mul -1 Pow Mul tan Add -2 Mul x0 x3 tan Add -2 Mul x0 x3 -1 -1 Pow Mul Mul acsch tan Add -2 Mul x0 x3 acsch tan Add -2 Mul x0 x3 sqrt Add 1 Mul -1 Pow Mul acsch tan Add -2 Mul x0 x3 acsch tan Add -2 Mul x0 x3 -1 -1 