tan Add Mul x1 x5 Add Pow Mul acosh asech acosh x0 acosh x0 Pow x0 Mul x0 0.463647609000806 x0 
Mul Pow sec Add Mul x1 x5 Add Pow Mul acosh asech acosh x0 acosh x0 Pow x0 Mul x0 0.463647609000806 x0 2 Add Mul Pow Mul acosh asech acosh x0 acosh x0 Add Pow x0 Mul x0 0.463647609000806 -1 Add Mul Pow x0 Mul x0 0.463647609000806 Add Mul acosh x0 Mul Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul acosh x0 acosh x0 sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 -1 Pow Mul sqrt Add asech acosh x0 -1 sqrt Add 1 asech acosh x0 -1 Mul acosh asech acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Mul acosh asech acosh x0 acosh x0 log Mul acosh asech acosh x0 acosh x0 Mul Pow x0 Add Mul x0 0.463647609000806 -1 Add Mul x0 0.463647609000806 Mul Mul x0 log x0 0.463647609000806 1 