Pow tanh sinh Mul x5 Mul x0 x2 sqrt x0 
Mul Pow tanh sinh Mul x5 Mul x0 x2 Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow sech sinh Mul x5 Mul x0 x2 2 Mul cosh Mul x5 Mul x0 x2 Mul x5 x2 Mul Mul tanh sinh Mul x5 Mul x0 x2 log tanh sinh Mul x5 Mul x0 x2 Pow Mul 2 sqrt x0 -1 