acoth Pow acoth acot Add x0 x0 cosh x3 
Mul Mul Pow acoth acot Add x0 x0 Add cosh x3 -1 Mul cosh x3 Mul Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul acot Add x0 x0 acot Add x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acoth acot Add x0 x0 cosh x3 Pow acoth acot Add x0 x0 cosh x3 -1 