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