Add Pow Add exp tan Mul x0 acoth x0 x5 Mul pi x0 x0 
Add Mul Pow Add exp tan Mul x0 acoth x0 x5 Add Mul pi x0 -1 Add Mul Mul pi x0 Mul exp tan Mul x0 acoth x0 Mul Pow sec Mul x0 acoth x0 2 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add exp tan Mul x0 acoth x0 x5 log Add exp tan Mul x0 acoth x0 x5 pi 1 