log acoth Mul Add x3 Mul x0 x5 Pow Mul x0 x4 Add x0 sec x5 
Mul Mul Add Mul Pow Mul x0 x4 Add x0 sec x5 x5 Mul Add x3 Mul x0 x5 Mul Pow Mul x0 x4 Add Add x0 sec x5 -1 Add Mul Add x0 sec x5 x4 Mul Mul x0 x4 log Mul x0 x4 Pow Add 1 Mul -1 Mul Mul Add x3 Mul x0 x5 Pow Mul x0 x4 Add x0 sec x5 Mul Add x3 Mul x0 x5 Pow Mul x0 x4 Add x0 sec x5 -1 Pow acoth Mul Add x3 Mul x0 x5 Pow Mul x0 x4 Add x0 sec x5 -1 