acos Pow Add sqrt x0 Pow x0 Pow acoth exp Mul x0 x7 x4 sech asech Add Mul x0 x0 -1 
Mul -1 Mul Mul Pow Add sqrt x0 Pow x0 Pow acoth exp Mul x0 x7 x4 Add sech asech Add Mul x0 x0 -1 -1 Add Mul sech asech Add Mul x0 x0 -1 Add Pow Mul 2 sqrt x0 -1 Mul Pow x0 Add Pow acoth exp Mul x0 x7 x4 -1 Add Pow acoth exp Mul x0 x7 x4 Mul Mul x0 log x0 Mul Pow acoth exp Mul x0 x7 Add x4 -1 Mul x4 Mul Mul exp Mul x0 x7 x7 Pow Add 1 Mul -1 Mul exp Mul x0 x7 exp Mul x0 x7 -1 Mul Mul Add sqrt x0 Pow x0 Pow acoth exp Mul x0 x7 x4 log Add sqrt x0 Pow x0 Pow acoth exp Mul x0 x7 x4 Mul Mul tanh asech Add Mul x0 x0 -1 Mul -1 sech asech Add Mul x0 x0 -1 Mul Add x0 x0 Pow Mul Mul Add Mul x0 x0 -1 Add Mul x0 x0 -1 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 x0 -1 Add Mul x0 x0 -1 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add sqrt x0 Pow x0 Pow acoth exp Mul x0 x7 x4 sech asech Add Mul x0 x0 -1 Pow Add sqrt x0 Pow x0 Pow acoth exp Mul x0 x7 x4 sech asech Add Mul x0 x0 -1 -1 