sec Add Mul Pow x4 Mul x5 x0 tan acsch x0 x4 
Mul Mul tan Add Mul Pow x4 Mul x5 x0 tan acsch x0 x4 sec Add Mul Pow x4 Mul x5 x0 tan acsch x0 x4 Add Mul tan acsch x0 Mul Pow x4 Add Mul x5 x0 -1 Mul Mul x4 log x4 x5 Mul Pow x4 Mul x5 x0 Mul Pow sec acsch x0 2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 