acoth Mul x3 Mul -3 cos Mul Add x0 x0 acosh Mul x0 x0 
Mul Mul x3 Mul -3 Mul Mul -1 sin Mul Add x0 x0 acosh Mul x0 x0 Add Mul acosh Mul x0 x0 2 Mul Add x0 x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x3 Mul -3 cos Mul Add x0 x0 acosh Mul x0 x0 Mul x3 Mul -3 cos Mul Add x0 x0 acosh Mul x0 x0 -1 