Mul acot Add Mul x0 tanh x0 x0 Pow sinh x3 x0 
Add Mul Pow sinh x3 x0 Mul -1 Mul Add Add tanh x0 Mul x0 Pow sech x0 2 1 Pow Add 1 Mul Add Mul x0 tanh x0 x0 Add Mul x0 tanh x0 x0 -1 Mul acot Add Mul x0 tanh x0 x0 Mul Pow sinh x3 Add x0 -1 Mul sinh x3 log sinh x3 