Mul Pow asin Pow x0 acoth tan Pow 4 x3 2 x0 
Add Mul x0 Mul asin Pow x0 acoth tan Pow 4 x3 Mul 2 Mul Mul Pow x0 Add acoth tan Pow 4 x3 -1 acoth tan Pow 4 x3 Pow sqrt Add 1 Mul -1 Mul Pow x0 acoth tan Pow 4 x3 Pow x0 acoth tan Pow 4 x3 -1 Pow asin Pow x0 acoth tan Pow 4 x3 2 