Mul x0 Mul acoth Mul x0 Add asin E Mul x0 x5 -3 
Add Mul acoth Mul x0 Add asin E Mul x0 x5 -3 Mul x0 Mul -3 Mul Add Add asin E Mul x0 x5 Mul x0 x5 Pow Add 1 Mul -1 Mul Mul x0 Add asin E Mul x0 x5 Mul x0 Add asin E Mul x0 x5 -1 