Pow acosh Add x0 x4 coth Add Add sec Add x0 x0 pi 4 
Mul Pow acosh Add x0 x4 Add coth Add Add sec Add x0 x0 pi 4 -1 Add Mul coth Add Add sec Add x0 x0 pi 4 Pow Mul sqrt Add Add x0 x4 -1 sqrt Add 1 Add x0 x4 -1 Mul Mul acosh Add x0 x4 log acosh Add x0 x4 Mul Mul -1 Pow csch Add Add sec Add x0 x0 pi 4 2 Mul Mul tan Add x0 x0 sec Add x0 x0 2 