Add Mul acosh Mul -3 x0 Add x3 4 Mul coth sech asin x0 atan Add x1 4 
Add Mul Add x3 4 Mul -3 Pow Mul sqrt Add Mul -3 x0 -1 sqrt Add 1 Mul -3 x0 -1 Mul atan Add x1 4 Mul Mul -1 Pow csch sech asin x0 2 Mul Mul tanh asin x0 Mul -1 sech asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 