sinh Pow Add acoth atanh x7 acot x0 Pow Mul Add Mul 4 Add E x0 Mul exp x0 Add x1 x0 Add x0 x0 4 
Mul cosh Pow Add acoth atanh x7 acot x0 Pow Mul Add Mul 4 Add E x0 Mul exp x0 Add x1 x0 Add x0 x0 4 Mul Pow Add acoth atanh x7 acot x0 Add Pow Mul Add Mul 4 Add E x0 Mul exp x0 Add x1 x0 Add x0 x0 4 -1 Add Mul Pow Mul Add Mul 4 Add E x0 Mul exp x0 Add x1 x0 Add x0 x0 4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add acoth atanh x7 acot x0 log Add acoth atanh x7 acot x0 Mul Pow Mul Add Mul 4 Add E x0 Mul exp x0 Add x1 x0 Add x0 x0 3 Mul 4 Add Mul Add x0 x0 Add 4 Add Mul Add x1 x0 exp x0 exp x0 Mul Add Mul 4 Add E x0 Mul exp x0 Add x1 x0 2 