Mul Add Pow Pow Add x0 asinh E cosh x0 Mul acot Add x0 Add x0 2 Add Mul x0 4 x0 5 3 
Mul 3 Mul Pow Pow Add x0 asinh E cosh x0 Add Mul acot Add x0 Add x0 2 Add Mul x0 4 x0 -1 Add Mul Mul acot Add x0 Add x0 2 Add Mul x0 4 x0 Mul Pow Add x0 asinh E Add cosh x0 -1 Add cosh x0 Mul Mul Add x0 asinh E log Add x0 asinh E sinh x0 Mul Mul Pow Add x0 asinh E cosh x0 log Pow Add x0 asinh E cosh x0 Add Mul Add Mul x0 4 x0 Mul -1 Mul 2 Pow Add 1 Mul Add x0 Add x0 2 Add x0 Add x0 2 -1 Mul acot Add x0 Add x0 2 5 