Pow sec acsch Add Mul x0 exp x3 -3 x7 
Mul Pow sec acsch Add Mul x0 exp x3 -3 Add x7 -1 Mul x7 Mul Mul tan acsch Add Mul x0 exp x3 -3 sec acsch Add Mul x0 exp x3 -3 Mul Mul -1 exp x3 Pow Mul Mul Add Mul x0 exp x3 -3 Add Mul x0 exp x3 -3 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 exp x3 -3 Add Mul x0 exp x3 -3 -1 -1 