Mul x0 Add pi Mul tan acot acos exp x0 Mul x0 atanh x0 
Add Add pi Mul tan acot acos exp x0 Mul x0 atanh x0 Mul x0 Add Mul Mul x0 atanh x0 Mul Pow sec acot acos exp x0 2 Mul -1 Mul Mul -1 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Pow Add 1 Mul acos exp x0 acos exp x0 -1 Mul tan acot acos exp x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 