Add Pow acsch x0 cos Add pi 4 Mul acosh Mul x0 sqrt E 3 
Add Mul Pow acsch x0 Add cos Add pi 4 -1 Mul cos Add pi 4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul 3 Mul sqrt E Pow Mul sqrt Add Mul x0 sqrt E -1 sqrt Add 1 Mul x0 sqrt E -1 