sin sin Pow cosh Add x0 x0 Add sqrt acot x0 x0 
Mul cos sin Pow cosh Add x0 x0 Add sqrt acot x0 x0 Mul cos Pow cosh Add x0 x0 Add sqrt acot x0 x0 Mul Pow cosh Add x0 x0 Add Add sqrt acot x0 x0 -1 Add Mul Add sqrt acot x0 x0 Mul sinh Add x0 x0 2 Mul Mul cosh Add x0 x0 log cosh Add x0 x0 Add Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 