Add Add x0 tan Mul x0 Mul sinh Mul x0 x0 x0 Pow acos acoth x0 coth sqrt x0 
Add Add 1 Mul Pow sec Mul x0 Mul sinh Mul x0 x0 x0 2 Add Mul sinh Mul x0 x0 x0 Mul x0 Add Mul x0 Mul cosh Mul x0 x0 Add x0 x0 sinh Mul x0 x0 Mul Pow acos acoth x0 Add coth sqrt x0 -1 Add Mul coth sqrt x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Mul acos acoth x0 log acos acoth x0 Mul Mul -1 Pow csch sqrt x0 2 Pow Mul 2 sqrt x0 -1 