Add Add x7 tan Pow atanh sec Add Add x6 Add Add 3 Mul x0 x0 x1 acoth x3 -4 Mul tan E x0 
Add Mul Pow sec Pow atanh sec Add Add x6 Add Add 3 Mul x0 x0 x1 acoth x3 -4 2 Mul Pow atanh sec Add Add x6 Add Add 3 Mul x0 x0 x1 acoth x3 5 Mul -4 Mul Mul Mul tan Add Add x6 Add Add 3 Mul x0 x0 x1 acoth x3 sec Add Add x6 Add Add 3 Mul x0 x0 x1 acoth x3 Add x0 x0 Pow Add 1 Mul -1 Mul sec Add Add x6 Add Add 3 Mul x0 x0 x1 acoth x3 sec Add Add x6 Add Add 3 Mul x0 x0 x1 acoth x3 -1 tan E 