Mul Mul x0 x0 csch Add Add acos asin x0 E Pow Add x4 x0 x0 
Add Mul csch Add Add acos asin x0 E Pow Add x4 x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Mul Mul -1 coth Add Add acos asin x0 E Pow Add x4 x0 x0 csch Add Add acos asin x0 E Pow Add x4 x0 x0 Add Mul -1 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin x0 asin x0 -1 Mul Pow Add x4 x0 Add x0 -1 Add x0 Mul Add x4 x0 log Add x4 x0 