tan Mul Add x0 sinh Add Add -5 tan Mul Pow x0 Add Add 256 x0 csc x0 x7 x0 atanh x1 
Mul Pow sec Mul Add x0 sinh Add Add -5 tan Mul Pow x0 Add Add 256 x0 csc x0 x7 x0 atanh x1 2 Mul atanh x1 Add 1 Mul cosh Add Add -5 tan Mul Pow x0 Add Add 256 x0 csc x0 x7 x0 Add Mul Pow sec Mul Pow x0 Add Add 256 x0 csc x0 x7 2 Mul x7 Mul Pow x0 Add Add Add 256 x0 csc x0 -1 Add Add Add 256 x0 csc x0 Mul Mul x0 log x0 Add 1 Mul Mul -1 cot x0 csc x0 1 