Pow coth sec Add x0 3 Add 64 x0 
Mul Pow coth sec Add x0 3 Add Add 64 x0 -1 Add Mul Add 64 x0 Mul Mul -1 Pow csch sec Add x0 3 2 Mul tan Add x0 3 sec Add x0 3 Mul coth sec Add x0 3 log coth sec Add x0 3 