acosh Mul Add x0 Mul Pow cos sin Add -2 Add x0 acoth sqrt Pow x5 -2 x7 x0 x5 
Mul Mul x5 Add 1 Add Mul x0 Mul Pow cos sin Add -2 Add x0 acoth sqrt Pow x5 -2 Add x7 -1 Mul x7 Mul Mul -1 sin sin Add -2 Add x0 acoth sqrt Pow x5 -2 cos Add -2 Add x0 acoth sqrt Pow x5 -2 Pow cos sin Add -2 Add x0 acoth sqrt Pow x5 -2 x7 Pow Mul sqrt Add Mul Add x0 Mul Pow cos sin Add -2 Add x0 acoth sqrt Pow x5 -2 x7 x0 x5 -1 sqrt Add 1 Mul Add x0 Mul Pow cos sin Add -2 Add x0 acoth sqrt Pow x5 -2 x7 x0 x5 -1 