Mul sech csch Mul x0 x0 Pow x0 Add -3 sqrt Pow asin E x1 
Add Mul Pow x0 Add -3 sqrt Pow asin E x1 Mul Mul tanh csch Mul x0 x0 Mul -1 sech csch Mul x0 x0 Mul Mul Mul -1 coth Mul x0 x0 csch Mul x0 x0 Add x0 x0 Mul sech csch Mul x0 x0 Mul Pow x0 Add Add -3 sqrt Pow asin E x1 -1 Add -3 sqrt Pow asin E x1 