Mul x3 Mul x3 Add tan csch Mul sqrt x0 sqrt x0 x0 
Mul x3 Mul x3 Add Mul Pow sec csch Mul sqrt x0 sqrt x0 2 Mul Mul Mul -1 coth Mul sqrt x0 sqrt x0 csch Mul sqrt x0 sqrt x0 Add Mul sqrt x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Pow Mul 2 sqrt x0 -1 1 