Add Mul -1 Pow asech tanh x0 x0 acot Mul 0.811467157969075 x0 
Add Mul -1 Mul Pow asech tanh x0 Add x0 -1 Add Mul x0 Mul Pow sech x0 2 Pow Mul Mul tanh x0 tanh x0 sqrt Add 1 Mul -1 Pow Mul tanh x0 tanh x0 -1 -1 Mul asech tanh x0 log asech tanh x0 Mul -1 Mul 0.811467157969075 Pow Add 1 Mul Mul 0.811467157969075 x0 Mul 0.811467157969075 x0 -1 