acoth acoth Add Pow Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 sec x0 x0 
Mul Mul Add Mul Pow Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 Add sec x0 -1 Add Mul sec x0 Add Mul Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Add Mul x1 Mul Pow Mul 2 sqrt Add x1 Add x0 x0 -1 2 1 1 Mul Mul Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 log Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 Mul tan x0 sec x0 1 Pow Add 1 Mul -1 Mul Add Pow Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 sec x0 x0 Add Pow Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 sec x0 x0 -1 Pow Add 1 Mul -1 Mul acoth Add Pow Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 sec x0 x0 acoth Add Pow Mul acot x0 Add Add Mul sqrt Add x1 Add x0 x0 x1 x0 x0 sec x0 x0 -1 