Mul Pow x3 exp asin Pow acot acot sinh x6 x0 exp Pow pi x0 
Add Mul exp Pow pi x0 Mul Pow x3 Add exp asin Pow acot acot sinh x6 x0 -1 Mul Mul x3 log x3 Mul exp asin Pow acot acot sinh x6 x0 Mul Mul Pow acot acot sinh x6 Add x0 -1 Mul acot acot sinh x6 log acot acot sinh x6 Pow sqrt Add 1 Mul -1 Mul Pow acot acot sinh x6 x0 Pow acot acot sinh x6 x0 -1 Mul Pow x3 exp asin Pow acot acot sinh x6 x0 Mul exp Pow pi x0 Mul Pow pi Add x0 -1 Mul pi log pi 