Add Mul x0 Mul Add Add Pow Pow acosh sec x4 acoth Mul x0 5 -3 sec x0 x4 x0 x3 
Add Mul Add Add Pow Pow acosh sec x4 acoth Mul x0 5 -3 sec x0 x4 x0 Mul x0 Add Mul x0 Add Mul Pow Pow acosh sec x4 acoth Mul x0 5 4 Mul -3 Mul Pow acosh sec x4 Add acoth Mul x0 5 -1 Mul Mul acosh sec x4 log acosh sec x4 Mul 5 Pow Add 1 Mul -1 Mul Mul x0 5 Mul x0 5 -1 Mul tan x0 sec x0 Add Add Pow Pow acosh sec x4 acoth Mul x0 5 -3 sec x0 x4 