sec acosh Mul -2 Pow Add x0 x0 Pow Mul acot x7 4 Mul Add Pow 4 x0 x0 -2 
Mul Mul tan acosh Mul -2 Pow Add x0 x0 Pow Mul acot x7 4 Mul Add Pow 4 x0 x0 -2 sec acosh Mul -2 Pow Add x0 x0 Pow Mul acot x7 4 Mul Add Pow 4 x0 x0 -2 Mul Mul -2 Mul Pow Add x0 x0 Add Pow Mul acot x7 4 Mul Add Pow 4 x0 x0 -2 -1 Add Mul Pow Mul acot x7 4 Mul Add Pow 4 x0 x0 -2 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow Mul acot x7 4 Add Mul Add Pow 4 x0 x0 -2 -1 Mul Mul Mul acot x7 4 log Mul acot x7 4 Mul -2 Add Mul Pow 4 Add x0 -1 5.38629436111989 1 Pow Mul sqrt Add Mul -2 Pow Add x0 x0 Pow Mul acot x7 4 Mul Add Pow 4 x0 x0 -2 -1 sqrt Add 1 Mul -2 Pow Add x0 x0 Pow Mul acot x7 4 Mul Add Pow 4 x0 x0 -2 -1 