Add Mul x6 Mul Pow Add -4 Pow sech x0 exp x0 Mul 4 Mul atanh x6 asin x3 x0 x0 
Add Mul x6 Add Mul x0 Mul Pow Add -4 Pow sech x0 exp x0 Add Mul 4 Mul atanh x6 asin x3 -1 Mul Mul 4 Mul atanh x6 asin x3 Mul Pow sech x0 Add exp x0 -1 Add Mul exp x0 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 exp x0 Pow Add -4 Pow sech x0 exp x0 Mul 4 Mul atanh x6 asin x3 1 