Mul Mul pi 4 Pow x0 Pow acos tanh x0 Add sqrt Mul x3 x0 -2 
Mul Mul pi 4 Mul Pow x0 Add Pow acos tanh x0 Add sqrt Mul x3 x0 -2 -1 Add Pow acos tanh x0 Add sqrt Mul x3 x0 -2 Mul Mul x0 log x0 Mul Pow acos tanh x0 Add Add sqrt Mul x3 x0 -2 -1 Add Mul Add sqrt Mul x3 x0 -2 Mul -1 Mul Pow sech x0 2 Pow sqrt Add 1 Mul -1 Mul tanh x0 tanh x0 -1 Mul Mul acos tanh x0 log acos tanh x0 Mul Pow Mul 2 sqrt Mul x3 x0 -1 x3 