Mul acsch Mul Pow x7 1.54308063481524 acoth x0 x4 
Mul x4 Mul Mul -1 Mul Pow x7 1.54308063481524 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul Pow x7 1.54308063481524 acoth x0 Mul Pow x7 1.54308063481524 acoth x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow x7 1.54308063481524 acoth x0 Mul Pow x7 1.54308063481524 acoth x0 -1 -1 