Pow Mul Pow pi Mul Add x5 acosh sec Mul x0 Mul x3 Mul x0 acoth x0 -4 exp Add x1 3 x0 
Mul Pow Mul Pow pi Mul Add x5 acosh sec Mul x0 Mul x3 Mul x0 acoth x0 -4 exp Add x1 3 Add x0 -1 Add Mul x0 Mul exp Add x1 3 Mul Pow pi Add Mul Add x5 acosh sec Mul x0 Mul x3 Mul x0 acoth x0 -4 -1 Mul Mul pi log pi Mul -4 Mul Mul Mul tan Mul x0 Mul x3 Mul x0 acoth x0 sec Mul x0 Mul x3 Mul x0 acoth x0 Add Mul x3 Mul x0 acoth x0 Mul x0 Mul x3 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add sec Mul x0 Mul x3 Mul x0 acoth x0 -1 sqrt Add 1 sec Mul x0 Mul x3 Mul x0 acoth x0 -1 Mul Mul Pow pi Mul Add x5 acosh sec Mul x0 Mul x3 Mul x0 acoth x0 -4 exp Add x1 3 log Mul Pow pi Mul Add x5 acosh sec Mul x0 Mul x3 Mul x0 acoth x0 -4 exp Add x1 3 