Mul acsch Pow x0 Pow acoth acos acsc x0 Mul Mul x0 x4 x0 Add x1 3 
Mul Add x1 3 Mul Mul -1 Mul Pow x0 Add Pow acoth acos acsc x0 Mul Mul x0 x4 x0 -1 Add Pow acoth acos acsc x0 Mul Mul x0 x4 x0 Mul Mul x0 log x0 Mul Pow acoth acos acsc x0 Add Mul Mul x0 x4 x0 -1 Add Mul Mul Mul x0 x4 x0 Mul Mul -1 Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acsc x0 acsc x0 -1 Pow Add 1 Mul -1 Mul acos acsc x0 acos acsc x0 -1 Mul Mul acoth acos acsc x0 log acoth acos acsc x0 Add Mul x0 x4 Mul x0 x4 Pow Mul Mul Pow x0 Pow acoth acos acsc x0 Mul Mul x0 x4 x0 Pow x0 Pow acoth acos acsc x0 Mul Mul x0 x4 x0 sqrt Add 1 Mul -1 Pow Mul Pow x0 Pow acoth acos acsc x0 Mul Mul x0 x4 x0 Pow x0 Pow acoth acos acsc x0 Mul Mul x0 x4 x0 -1 -1 