Mul acoth Mul sec x0 acos asech sqrt Add x0 Add Mul x0 x0 5 x6 
Mul x6 Mul Add Mul acos asech sqrt Add x0 Add Mul x0 x0 5 Mul tan x0 sec x0 Mul sec x0 Mul -1 Mul Mul Mul Pow Mul 2 sqrt Add x0 Add Mul x0 x0 5 -1 Add 1 Add x0 x0 Pow Mul Mul sqrt Add x0 Add Mul x0 x0 5 sqrt Add x0 Add Mul x0 x0 5 sqrt Add 1 Mul -1 Pow Mul sqrt Add x0 Add Mul x0 x0 5 sqrt Add x0 Add Mul x0 x0 5 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech sqrt Add x0 Add Mul x0 x0 5 asech sqrt Add x0 Add Mul x0 x0 5 -1 Pow Add 1 Mul -1 Mul Mul sec x0 acos asech sqrt Add x0 Add Mul x0 x0 5 Mul sec x0 acos asech sqrt Add x0 Add Mul x0 x0 5 -1 