Add Add Mul x7 2 acoth Mul x5 Pow tanh asin x5 x0 acos x5 
Mul Mul x5 Mul Pow tanh asin x5 Add x0 -1 Mul tanh asin x5 log tanh asin x5 Pow Add 1 Mul -1 Mul Mul x5 Pow tanh asin x5 x0 Mul x5 Pow tanh asin x5 x0 -1 