Mul x7 Mul Mul x0 x0 Mul acsch pi Mul cosh acot Add x0 3 Mul cot x4 Pow x3 pi 
Mul x7 Add Mul Mul acsch pi Mul cosh acot Add x0 3 Mul cot x4 Pow x3 pi Add x0 x0 Mul Mul x0 x0 Mul acsch pi Mul Mul cot x4 Pow x3 pi Mul sinh acot Add x0 3 Mul -1 Pow Add 1 Mul Add x0 3 Add x0 3 -1 