sin Mul acoth acos Mul x5 x0 Add Pow x0 x3 x0 
Mul cos Mul acoth acos Mul x5 x0 Add Pow x0 x3 x0 Add Mul Add Pow x0 x3 x0 Mul Mul -1 Mul x5 Pow sqrt Add 1 Mul -1 Mul Mul x5 x0 Mul x5 x0 -1 Pow Add 1 Mul -1 Mul acos Mul x5 x0 acos Mul x5 x0 -1 Mul acoth acos Mul x5 x0 Add Mul Pow x0 Add x3 -1 x3 1 