csc atanh Pow exp x0 Add -4 Mul x0 4 
Mul Mul Mul -1 cot atanh Pow exp x0 Add -4 Mul x0 4 csc atanh Pow exp x0 Add -4 Mul x0 4 Mul Mul Pow exp x0 Add Add -4 Mul x0 4 -1 Add Mul Add -4 Mul x0 4 exp x0 Mul Mul exp x0 log exp x0 4 Pow Add 1 Mul -1 Mul Pow exp x0 Add -4 Mul x0 4 Pow exp x0 Add -4 Mul x0 4 -1 