asech Pow acosh x0 Mul Mul x0 x0 x4 
Mul Mul Pow acosh x0 Add Mul Mul x0 x0 x4 -1 Add Mul Mul Mul x0 x0 x4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul x4 Add x0 x0 Pow Mul Mul Pow acosh x0 Mul Mul x0 x0 x4 Pow acosh x0 Mul Mul x0 x0 x4 sqrt Add 1 Mul -1 Pow Mul Pow acosh x0 Mul Mul x0 x0 x4 Pow acosh x0 Mul Mul x0 x0 x4 -1 -1 