Pow asec Add Add x7 Mul acoth x1 x0 3 sec Mul Pow Mul Mul x0 tanh atanh x0 Add x0 -2 x0 x0 
Mul Pow asec Add Add x7 Mul acoth x1 x0 3 Add sec Mul Pow Mul Mul x0 tanh atanh x0 Add x0 -2 x0 x0 -1 Add Mul sec Mul Pow Mul Mul x0 tanh atanh x0 Add x0 -2 x0 x0 Mul acoth x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Add x7 Mul acoth x1 x0 3 Add Add x7 Mul acoth x1 x0 3 -1 Add Add x7 Mul acoth x1 x0 3 Add Add x7 Mul acoth x1 x0 3 -1 Mul Mul asec Add Add x7 Mul acoth x1 x0 3 log asec Add Add x7 Mul acoth x1 x0 3 Mul Mul tan Mul Pow Mul Mul x0 tanh atanh x0 Add x0 -2 x0 x0 sec Mul Pow Mul Mul x0 tanh atanh x0 Add x0 -2 x0 x0 Add Mul x0 Mul Pow Mul Mul x0 tanh atanh x0 Add x0 -2 Add x0 -1 Add Mul x0 Add Mul Add x0 -2 Add tanh atanh x0 Mul x0 Mul Pow sech atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul x0 tanh atanh x0 Mul Mul Mul x0 tanh atanh x0 Add x0 -2 log Mul Mul x0 tanh atanh x0 Add x0 -2 Pow Mul Mul x0 tanh atanh x0 Add x0 -2 x0 