Pow Pow csch sec Add x0 acosh exp x0 4 x0 
Mul Pow Pow csch sec Add x0 acosh exp x0 4 Add x0 -1 Add Mul x0 Mul Pow csch sec Add x0 acosh exp x0 3 Mul 4 Mul Mul Mul -1 coth sec Add x0 acosh exp x0 csch sec Add x0 acosh exp x0 Mul Mul tan Add x0 acosh exp x0 sec Add x0 acosh exp x0 Add 1 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Mul Pow csch sec Add x0 acosh exp x0 4 log Pow csch sec Add x0 acosh exp x0 4 