Mul Mul x0 Add Mul 0.255412811882995 Add x0 Mul x0 x5 x0 atan atanh acoth atanh x0 
Add Mul atan atanh acoth atanh x0 Add Add Mul 0.255412811882995 Add x0 Mul x0 x5 x0 Mul x0 Add Mul 0.255412811882995 Add 1 x5 1 Mul Mul x0 Add Mul 0.255412811882995 Add x0 Mul x0 x5 x0 Mul Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Pow Add 1 Mul -1 Mul acoth atanh x0 acoth atanh x0 -1 Pow Add 1 Mul atanh acoth atanh x0 atanh acoth atanh x0 -1 