Mul atanh Pow Add sinh x0 x6 acot Add Add x7 E x0 x0 
Add Mul x0 Mul Mul Pow Add sinh x0 x6 Add acot Add Add x7 E x0 -1 Add Mul acot Add Add x7 E x0 cosh x0 Mul Mul Add sinh x0 x6 log Add sinh x0 x6 Mul -1 Pow Add 1 Mul Add Add x7 E x0 Add Add x7 E x0 -1 Pow Add 1 Mul -1 Mul Pow Add sinh x0 x6 acot Add Add x7 E x0 Pow Add sinh x0 x6 acot Add Add x7 E x0 -1 atanh Pow Add sinh x0 x6 acot Add Add x7 E x0 