exp Mul Pow Mul acsc atanh acot x0 pi x4 x0 
Mul exp Mul Pow Mul acsc atanh acot x0 pi x4 x0 Add Mul x0 Mul Pow Mul acsc atanh acot x0 pi Add x4 -1 Mul x4 Mul pi Mul -1 Mul Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atanh acot x0 atanh acot x0 -1 atanh acot x0 atanh acot x0 -1 Pow Mul acsc atanh acot x0 pi x4 