Mul x0 Pow Mul atan Pow 12 x0 x0 Add asech sech x0 acoth Pow x0 cosh x0 
Add Pow Mul atan Pow 12 x0 x0 Add asech sech x0 acoth Pow x0 cosh x0 Mul x0 Mul Pow Mul atan Pow 12 x0 x0 Add Add asech sech x0 acoth Pow x0 cosh x0 -1 Add Mul Add asech sech x0 acoth Pow x0 cosh x0 Add Mul x0 Mul Mul Pow 12 Add x0 -1 14.4849066497880 Pow Add 1 Mul Pow 12 x0 Pow 12 x0 -1 atan Pow 12 x0 Mul Mul Mul atan Pow 12 x0 x0 log Mul atan Pow 12 x0 x0 Add Mul Mul tanh x0 Mul -1 sech x0 Pow Mul Mul sech x0 sech x0 sqrt Add 1 Mul -1 Pow Mul sech x0 sech x0 -1 -1 Mul Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Pow Add 1 Mul -1 Mul Pow x0 cosh x0 Pow x0 cosh x0 -1 