sin Add x0 Add Add Pow acoth exp x5 sin Add acosh x0 2 x0 -2 
Mul cos Add x0 Add Add Pow acoth exp x5 sin Add acosh x0 2 x0 -2 Add 1 Add Mul Pow acoth exp x5 Add sin Add acosh x0 2 -1 Mul Mul acoth exp x5 log acoth exp x5 Mul cos Add acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 