tan Add Add Mul x0 cosh Add sqrt acot x0 x0 1 x0 
Mul Pow sec Add Add Mul x0 cosh Add sqrt acot x0 x0 1 x0 2 Add Add cosh Add sqrt acot x0 x0 Mul x0 Mul sinh Add sqrt acot x0 x0 Add Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 1 