Add coth E Add Add x0 2 acos Mul cosh x0 acoth Mul x0 6 
Add 1 Mul -1 Mul Add Mul acoth Mul x0 6 sinh x0 Mul cosh x0 Mul 6 Pow Add 1 Mul -1 Mul Mul x0 6 Mul x0 6 -1 Pow sqrt Add 1 Mul -1 Mul Mul cosh x0 acoth Mul x0 6 Mul cosh x0 acoth Mul x0 6 -1 