Pow cosh Mul x0 Mul atan cot x1 acos x0 Add 3 x5 
Mul Pow cosh Mul x0 Mul atan cot x1 acos x0 Add Add 3 x5 -1 Mul Add 3 x5 Mul sinh Mul x0 Mul atan cot x1 acos x0 Add Mul atan cot x1 acos x0 Mul x0 Mul atan cot x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 