Pow Pow Add x0 0.463647609000806 x0 acoth Mul x0 exp atan x0 
Mul Pow Pow Add x0 0.463647609000806 x0 Add acoth Mul x0 exp atan x0 -1 Add Mul acoth Mul x0 exp atan x0 Mul Pow Add x0 0.463647609000806 Add x0 -1 Add x0 Mul Add x0 0.463647609000806 log Add x0 0.463647609000806 Mul Mul Pow Add x0 0.463647609000806 x0 log Pow Add x0 0.463647609000806 x0 Mul Add exp atan x0 Mul x0 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x0 exp atan x0 Mul x0 exp atan x0 -1 