Add atan Add Pow Mul Mul Mul x0 x0 Pow acsch sec x0 Mul x0 x0 x0 3 Pow Add acosh x0 x0 x0 x0 
Add Mul Add Mul Pow Mul Mul Mul x0 x0 Pow acsch sec x0 Mul x0 x0 x0 2 Mul 3 Add Mul x0 Add Mul Pow acsch sec x0 Mul x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Pow acsch sec x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul -1 Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 Mul Mul acsch sec x0 log acsch sec x0 Add x0 x0 Mul Mul x0 x0 Pow acsch sec x0 Mul x0 x0 Mul Pow Add acosh x0 x0 Add x0 -1 Add Mul x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Add acosh x0 x0 log Add acosh x0 x0 Pow Add 1 Mul Add Pow Mul Mul Mul x0 x0 Pow acsch sec x0 Mul x0 x0 x0 3 Pow Add acosh x0 x0 x0 Add Pow Mul Mul Mul x0 x0 Pow acsch sec x0 Mul x0 x0 x0 3 Pow Add acosh x0 x0 x0 -1 1 