atan Mul Add Pow Mul cosh x1 log x0 Add Add x0 acsc x0 x0 x0 x0 
Mul Add Mul x0 Add Mul Pow Mul cosh x1 log x0 Add Add Add x0 acsc x0 x0 -1 Add Mul Add Add x0 acsc x0 x0 Mul cosh x1 Pow x0 -1 Mul Mul Mul cosh x1 log x0 log Mul cosh x1 log x0 Add Add 1 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 1 1 Add Pow Mul cosh x1 log x0 Add Add x0 acsc x0 x0 x0 Pow Add 1 Mul Mul Add Pow Mul cosh x1 log x0 Add Add x0 acsc x0 x0 x0 x0 Mul Add Pow Mul cosh x1 log x0 Add Add x0 acsc x0 x0 x0 x0 -1 