Mul acoth Pow x5 Add exp Mul pi Mul 1.15782128234958 x0 1 x0 
Add Mul x0 Mul Mul Pow x5 Add Add exp Mul pi Mul 1.15782128234958 x0 1 -1 Mul Mul x5 log x5 Mul exp Mul pi Mul 1.15782128234958 x0 Mul pi 1.15782128234958 Pow Add 1 Mul -1 Mul Pow x5 Add exp Mul pi Mul 1.15782128234958 x0 1 Pow x5 Add exp Mul pi Mul 1.15782128234958 x0 1 -1 acoth Pow x5 Add exp Mul pi Mul 1.15782128234958 x0 1 