Mul Pow sec x5 x0 Pow Mul x0 1.88854402937791 Mul x0 Mul acsch E x0 
Add Mul Pow Mul x0 1.88854402937791 Mul x0 Mul acsch E x0 Mul Pow sec x5 Add x0 -1 Mul sec x5 log sec x5 Mul Pow sec x5 x0 Mul Pow Mul x0 1.88854402937791 Add Mul x0 Mul acsch E x0 -1 Add Mul Mul x0 Mul acsch E x0 1.88854402937791 Mul Mul Mul x0 1.88854402937791 log Mul x0 1.88854402937791 Add Mul acsch E x0 Mul x0 acsch E 