Add Pow atanh Pow acoth Add 3 x7 5 Pow x0 Pow x0 3 tanh asech x2 
Mul Pow atanh Pow acoth Add 3 x7 5 Add Pow x0 Pow x0 3 -1 Mul Mul atanh Pow acoth Add 3 x7 5 log atanh Pow acoth Add 3 x7 5 Mul Pow x0 Add Pow x0 3 -1 Add Pow x0 3 Mul Mul x0 log x0 Mul Pow x0 2 3 