Pow Pow Add 1 Add acosh Pow x3 sec exp Mul acot E Pow x0 2 x0 Add x0 x0 acoth Pow x6 -4 
Mul Pow Pow Add 1 Add acosh Pow x3 sec exp Mul acot E Pow x0 2 x0 Add x0 x0 Add acoth Pow x6 -4 -1 Mul acoth Pow x6 -4 Mul Pow Add 1 Add acosh Pow x3 sec exp Mul acot E Pow x0 2 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul Mul Pow x3 Add sec exp Mul acot E Pow x0 2 -1 Mul Mul x3 log x3 Mul Mul tan exp Mul acot E Pow x0 2 sec exp Mul acot E Pow x0 2 Mul exp Mul acot E Pow x0 2 Mul acot E Mul x0 2 Pow Mul sqrt Add Pow x3 sec exp Mul acot E Pow x0 2 -1 sqrt Add 1 Pow x3 sec exp Mul acot E Pow x0 2 -1 1 Mul Mul Add 1 Add acosh Pow x3 sec exp Mul acot E Pow x0 2 x0 log Add 1 Add acosh Pow x3 sec exp Mul acot E Pow x0 2 x0 2 