acosh Mul Mul Mul Add Mul x4 x0 Mul acoth x5 Add x5 sec x0 acosh Mul x0 x0 x0 x0 
Mul Add Mul x0 Add Mul x0 Add Mul acosh Mul x0 x0 Add x4 Mul acoth x5 Mul tan x0 sec x0 Mul Add Mul x4 x0 Mul acoth x5 Add x5 sec x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul Add Mul x4 x0 Mul acoth x5 Add x5 sec x0 acosh Mul x0 x0 Mul Mul Add Mul x4 x0 Mul acoth x5 Add x5 sec x0 acosh Mul x0 x0 x0 Pow Mul sqrt Add Mul Mul Mul Add Mul x4 x0 Mul acoth x5 Add x5 sec x0 acosh Mul x0 x0 x0 x0 -1 sqrt Add 1 Mul Mul Mul Add Mul x4 x0 Mul acoth x5 Add x5 sec x0 acosh Mul x0 x0 x0 x0 -1 