Mul Add Add 5 Pow acoth Mul 2 sin cos x0 Add Add Mul x3 x0 Pow 3 x6 x0 Add x0 -2 cosh x7 
Mul cosh x7 Add Mul Pow acoth Mul 2 sin cos x0 Add Add Add Mul x3 x0 Pow 3 x6 x0 -1 Add Mul Add Add Mul x3 x0 Pow 3 x6 x0 Mul Mul 2 Mul cos cos x0 Mul -1 sin x0 Pow Add 1 Mul -1 Mul Mul 2 sin cos x0 Mul 2 sin cos x0 -1 Mul Mul acoth Mul 2 sin cos x0 log acoth Mul 2 sin cos x0 Add x3 1 1 