acos Pow acot Mul x0 sqrt x4 Mul x0 Add 1.54308063481524 tanh x1 
Mul -1 Mul Mul Pow acot Mul x0 sqrt x4 Add Mul x0 Add 1.54308063481524 tanh x1 -1 Add Mul Mul x0 Add 1.54308063481524 tanh x1 Mul -1 Mul sqrt x4 Pow Add 1 Mul Mul x0 sqrt x4 Mul x0 sqrt x4 -1 Mul Mul acot Mul x0 sqrt x4 log acot Mul x0 sqrt x4 Add 1.54308063481524 tanh x1 Pow sqrt Add 1 Mul -1 Mul Pow acot Mul x0 sqrt x4 Mul x0 Add 1.54308063481524 tanh x1 Pow acot Mul x0 sqrt x4 Mul x0 Add 1.54308063481524 tanh x1 -1 