Add Mul exp Mul sqrt x0 Add x1 x5 Add Pow x6 x0 Mul Add x0 atan acosh x1 Mul pi tanh x0 3 
Add Mul Add Pow x6 x0 Mul Add x0 atan acosh x1 Mul pi tanh x0 Mul exp Mul sqrt x0 Add x1 x5 Mul Add x1 x5 Pow Mul 2 sqrt x0 -1 Mul exp Mul sqrt x0 Add x1 x5 Add Mul Pow x6 Add x0 -1 Mul x6 log x6 Add Mul pi tanh x0 Mul Add x0 atan acosh x1 Mul pi Pow sech x0 2 