Add acoth Add x0 Add Mul x0 Pow sec x0 acoth Pow sqrt E x3 pi cos x1 
Mul Add 1 Add Pow sec x0 acoth Pow sqrt E x3 Mul x0 Mul Pow sec x0 Add acoth Pow sqrt E x3 -1 Mul acoth Pow sqrt E x3 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Add x0 Add Mul x0 Pow sec x0 acoth Pow sqrt E x3 pi Add x0 Add Mul x0 Pow sec x0 acoth Pow sqrt E x3 pi -1 