Mul x3 asinh Mul x0 Mul Mul x0 Add Add Add Mul acot x0 x0 x0 2 x2 -0.463647609000806 
Mul x3 Mul Add Mul Mul x0 Add Add Add Mul acot x0 x0 x0 2 x2 -0.463647609000806 Mul x0 Mul -0.463647609000806 Add Add Add Add Mul acot x0 x0 x0 2 x2 Mul x0 Add Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 1 Pow sqrt Add 1 Mul Mul x0 Mul Mul x0 Add Add Add Mul acot x0 x0 x0 2 x2 -0.463647609000806 Mul x0 Mul Mul x0 Add Add Add Mul acot x0 x0 x0 2 x2 -0.463647609000806 -1 