Mul Mul 3 acot Pow Add x0 sinh x5 x0 x5 
Mul x5 Mul 3 Mul -1 Mul Mul Pow Add x0 sinh x5 Add x0 -1 Add x0 Mul Add x0 sinh x5 log Add x0 sinh x5 Pow Add 1 Mul Pow Add x0 sinh x5 x0 Pow Add x0 sinh x5 x0 -1 