acosh Add Add -3 Pow acoth acot x4 -1 acot Mul x0 pi 
Mul Mul -1 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Pow Mul sqrt Add Add Add -3 Pow acoth acot x4 -1 acot Mul x0 pi -1 sqrt Add 1 Add Add -3 Pow acoth acot x4 -1 acot Mul x0 pi -1 