Add Mul 5 x0 Pow Pow exp Mul x0 x0 sqrt exp Mul x0 atanh x7 sech x2 
Add 5 Mul Pow Pow exp Mul x0 x0 sqrt exp Mul x0 atanh x7 Add sech x2 -1 Mul sech x2 Mul Pow exp Mul x0 x0 Add sqrt exp Mul x0 atanh x7 -1 Add Mul sqrt exp Mul x0 atanh x7 Mul exp Mul x0 x0 Add x0 x0 Mul Mul exp Mul x0 x0 log exp Mul x0 x0 Mul Pow Mul 2 sqrt exp Mul x0 atanh x7 -1 Mul exp Mul x0 atanh x7 atanh x7 