Pow x0 Mul Mul Pow exp atanh log E Add 3 x0 sin Add cbrt acoth x1 1 sqrt x0 
Mul Pow x0 Add Mul Mul Pow exp atanh log E Add 3 x0 sin Add cbrt acoth x1 1 sqrt x0 -1 Add Mul Mul Pow exp atanh log E Add 3 x0 sin Add cbrt acoth x1 1 sqrt x0 Mul Mul x0 log x0 Add Mul sqrt x0 Mul sin Add cbrt acoth x1 1 Mul Pow exp atanh log E Add Add 3 x0 -1 Mul exp atanh log E log exp atanh log E Mul Mul Pow exp atanh log E Add 3 x0 sin Add cbrt acoth x1 1 Pow Mul 2 sqrt x0 -1 